Cyclic hypersequent calculi for some modal logics with the master modality

DOI10.1007/978-3-030-86059-2_21OpenAlexW3197136608MaRDI QIDQ2142089

Jan Rooduijn

Publication date: 25 May 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-86059-2_21

zbMATH Keywords

modal logichypersequent calculicyclic proofsnon-well-founded proofsmaster modality

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Focus-style proofs for the two-way alternation-free \(\mu \)-calculus

Cites Work

• Unnamed Item
• Cut-free sequent systems for temporal logic
• Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
• A non-wellfounded, labelled proof system for propositional dynamic logic
• Circular proofs for the Gödel-Löb provability logic
• Sequent calculi for induction and infinite descent
• Constructive Completeness for Modal Logic with Transitive Closure
• From Frame Properties to Hypersequent Rules in Modal Logics

This page was built for publication: Cyclic hypersequent calculi for some modal logics with the master modality