Labeled sequent calculi for modal logics and implicit contractions

DOI10.1007/s00153-013-0350-yzbMath1303.03053OpenAlexW2040634330MaRDI QIDQ377468

Pierluigi Minari

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

zbMATH Keywords

Kripke semanticsmodal logicscontraction rulelabeled sequent calculi

Mathematics Subject Classification ID

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