Labeled sequent calculi for modal logics and implicit contractions
From MaRDI portal
Publication:377468
DOI10.1007/s00153-013-0350-yzbMath1303.03053OpenAlexW2040634330MaRDI QIDQ377468
Publication date: 6 November 2013
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-013-0350-y
Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic ⋮ Labelled sequent calculi for Lewis' non-normal propositional modal logics ⋮ Proofs and countermodels in non-classical logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Prefixed tableaus and nested sequents
- Proof analysis in intermediate logics
- Proof analysis in modal logic
- Deep sequent systems for modal logic
- A contraction-free and cut-free sequent calculus for propositional dynamic logic
- Gentzen calculi for modal propositional logic
- Proof methods for modal and intuitionistic logics
- Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
- Displaying modal logic
- The Church-Fitch knowability paradox in the light of structural proof theory
- Tableau methods of proof for modal logics
- A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
- Strongly analytic tableaux for normal modal logics