Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5

DOI10.1007/978-3-642-40537-2_19zbMath1401.03044OpenAlexW52950368MaRDI QIDQ2851947

Björn Lellmann, Dirk Pattinson

Publication date: 4 October 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40537-2_19

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (7)

Power and Limits of Structural Display Rules ⋮ Hypersequent rules with restricted contexts for propositional modal logics ⋮ Rooted hypersequent calculus for modal logic \textsf{S5} ⋮ Intermediate logics admitting a structural hypersequent calculus ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ The bounded proof property via step algebras and step frames

Uses Software

• Pesca

This page was built for publication: Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5