Axioms vs hypersequent rules with context restrictions: theory and applications

DOI10.1007/978-3-319-08587-6_23zbMATH Open1425.03026OpenAlexW310781263MaRDI QIDQ3192201FDOQ3192201

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

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

Mathematics Subject Classification ID

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

Cited In (9)

• LINEAR TIME IN HYPERSEQUENT FRAMEWORK
• Syntactic Completeness of Proper Display Calculi
• Focused and Synthetic Nested Sequents
• Power and Limits of Structural Display Rules
• Linear Nested Sequents, 2-Sequents and Hypersequents
• Hypersequents and Systems of Rules
• Hypersequent rules with restricted contexts for propositional modal logics
• CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME
• Cut Elimination Theorem for Non-Commutative Hypersequent Calculus

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)