A systematic proof theory for several modal logics

zbMATH Open1107.03016MaRDI QIDQ5483015FDOQ5483015

Authors: Charles V. Stewart, Phiniki Stouppa 

Publication date: 15 August 2006

Recommendations

• Deep sequent systems for modal logic
• Deep sequent systems for modal logic
• A deep inference system for the modal logic S5
• A semantical analysis of cut-free calculi for modal logics
• Label-free modular systems for classical and intuitionistic modal logics

zbMATH Keywords

cut-eliminationstructural proof theoryaxiomatisation

Mathematics Subject Classification ID

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

Cited In (29)

• Title not available (Why is that?)
• Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5
• Display calculi and other modal calculi: a comparison
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A general proof certification framework for modal logic
• System BV is NP-complete
• Syntactic cut-elimination for common knowledge
• UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
• Forum: A multiple-conclusion specification logic
• Maude as a platform for designing and implementing deep inference systems
• On some proof theoretical properties of the modal logic GL
• Title not available (Why is that?)
• A deep inference system for the modal logic S5
• Proof-theoretic modal PA-completeness. I: A system-sequent metric
• Title not available (Why is that?)
• Syntactic cut-elimination for common knowledge
• Proofs and countermodels in non-classical logics
• A modal logic internalizing normal proofs
• Title not available (Why is that?)
• Deep sequent systems for modal logic
• Deep sequent systems for modal logic
• A complete modal proof system for HAL: the Herbrand agent language
• Complete proof systems for weighted modal logic
• MELL in the calculus of structures
• On combinatorial proofs for modal logic
• Machine-checked proof-theory for propositional modal logics

This page was built for publication: A systematic proof theory for several modal logics

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