Maehara-style modal nested calculi

DOI10.1007/s00153-018-0636-1zbMath1477.03054OpenAlexW2772042761WikidataQ129490027 ScholiaQ129490027MaRDI QIDQ1734264

Lutz Straßburger, Roman Kuznets

Publication date: 27 March 2019

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-018-0636-1

zbMATH Keywords

modal logiccut eliminationsequent calculusproof theoryintuitionistic logicintuitionistic modal logicnested sequentsmultiple conclusion

Mathematics Subject Classification ID

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

Related Items

MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description), A proof-theoretic approach to negative translations in intuitionistic tense logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Prefixed tableaus and nested sequents
• Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
• Cut-free Gentzen calculus for multimodal CK
• The foundations of mathematics. A study in the philosophy of science
• Deep sequent systems for modal logic
• On an intuitionistic modal logic
• Untersuchungen über das logische Schliessen. I
• A judgmental reconstruction of modal logic
• Label-free natural deduction systems for intuitionistic and classical modal logics
• On Nested Sequents for Constructive Modal Logics
• Intuitionistic Decision Procedures Since Gentzen
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Intuitionistic tense and modal logic
• Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
• Modular Focused Proof Systems for Intuitionistic Modal Logics
• Eine Darstellung der Intuitionistischen Logik in der Klassischen