A systematic proof theory for several modal logics

MaRDI QIDQ5483015zbMATH OpenFDO

Authors Charles V. Stewart, Phiniki Stouppa

Publication date 15 August 2006

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)

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

Cited in

(29)

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

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)