Switch to: References

Add citations

You must login to add citations.
  1. Herzberger’s Limit Rule with Labelled Sequent Calculus.Andreas Fjellstad - forthcoming - Studia Logica:1-41.
    Inspired by recent work on proof theory for modal logic, this paper develops a cut-free labelled sequent calculus obtained by imitating Herzberger’s limit rule for revision sequences as a clause in a possible world semantics. With the help of two completeness theorems, one between the labelled sequent calculus and the corresponding possible world semantics, and one between the axiomatic theory of truth PosFS and a neighbourhood semantics, together with the proof of the equivalence between the two semantics, we show that (...)
    Direct download (2 more)  
    Export citation