Axioms vs hypersequent rules with context restrictions: theory and applications

DOI10.1007/978-3-319-08587-6_23MaRDI QIDQ3192201zbMATHOpenAlexFDO

Authors Björn Lellmann

Publication date 26 September 2014

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-08587-6_23

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Hypersequent rules with restricted contexts for propositional modal logics
• From Frame Properties to Hypersequent Rules in Modal Logics
• Bounded sequent calculi for non-classical logics via hypersequents
• Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
• Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity

Cited in

(9)

• Syntactic Completeness of Proper Display Calculi
• Power and limits of structural display rules
• Hypersequent rules with restricted contexts for propositional modal logics
• Cut elimination theorem for non-commutative hypersequent calculus
• LINEAR TIME IN HYPERSEQUENT FRAMEWORK
• Focused and Synthetic Nested Sequents
• Linear Nested Sequents, 2-Sequents and Hypersequents
• Hypersequents and Systems of Rules
• CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME

This page was built for publication: Axioms vs hypersequent rules with context restrictions: theory and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3192201)