Modular sequent systems for modal logic

DOI10.1007/978-3-642-02716-1_12MaRDI QIDQ3648728zbMATH OpenOpenAlexFDO

Authors Kai Brünnler, Lutz Straßburger

Publication date 1 December 2009

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-02716-1_12

zbMATH Keywords

completenesscut-free sequent systemsnested sequentsnormal modal logicssyntactic cut elimination

Mathematics Subject Classification ID

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

Recommendations

• Label-free modular systems for classical and intuitionistic modal logics
• Deep sequent systems for modal logic
• Modal sequents for normal modal logics
• On nested sequents for constructive modal logics
• Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D

Cited in

(32)

• A perspective on modal sequent logic
• Modular semantics for theories: an approach to paraconsistent reasoning
• Maehara-style modal nested calculi
• A modal logic for discretely descending chains of sets
• Combining monotone and normal modal logic in nested sequents -- with countermodels
• Modular sequent calculi for classical modal logics
• scientific article; zbMATH DE number 1678355 (Why is no real title available?)
• Correspondence between modal Hilbert axioms and sequent rules with an application to S5
• Partially-ordered modalities
• Constructing cut free sequent systems with context restrictions based on classical or intuitionistic logic
• A unified semantic framework for fully structural propositional sequent systems
• Modular Markovian Logic
• scientific article; zbMATH DE number 5872190 (Why is no real title available?)
• On nested sequents for constructive modal logics
• Deep sequent systems for modal logic
• scientific article; zbMATH DE number 3979042 (Why is no real title available?)
• Modal sequents and definability
• Prefixed tableaus and nested sequents
• Modal sequents for normal modal logics
• Realization for justification logics via nested sequents: modularity through embedding
• A cut-free sequent system for two-dimensional modal logic, and why it matters
• Modularisation of sequent calculi for normal and non-normal modalities
• Label-free modular systems for classical and intuitionistic modal logics
• scientific article; zbMATH DE number 826694 (Why is no real title available?)
• Cut elimination in nested sequents for intuitionistic modal logics
• Proving completeness for nested sequent calculi
• Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
• From 2-sequents and linear nested sequents to natural deduction for normal modal logics
• Sequent-systems for modal logic
• Nested sequent calculi for some modal logics with non-standard modalities
• Sequent systems on undirected graphs
• Deep sequent systems for modal logic

This page was built for publication: Modular sequent systems for modal logic

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