A cut-free sequent system for two-dimensional modal logic, and why it matters

DOI10.1016/J.APAL.2011.12.012MaRDI QIDQ450956zbMATH OpenOpenAlexFDO

Authors Greg Restall

Publication date 26 September 2012

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2011.12.012

zbMATH Keywords

completenesscut eliminationhypersequentmodal logicsemantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Review text

\textit{M. Davies} and \textit{L. Humberstone}'s two-dimensional modal logic [``Two notions of necessity, Philos. Stud. 38, No. 1, 1--30 (1980; \url{doi:10.1007/BF00354523})] has become an important aid to our understanding of the relationship between actuality, necessity and a priori knowability. The author develops a hypersequent calculus for two-dimensional modal logic and proves the completeness of this calculus for Davies-Humberstone models, explaining why those concepts have the structure described by those models. The cut-elimination theorem for the introduced hypersequent calculus is obtained as a consequence of the completeness result.

Recommendations

• Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
• A semantical analysis of cut-free calculi for modal logics
• THE LOGIC OF SEQUENCE FRAMES
• Modular sequent systems for modal logic
• 2-sequent calculus: A proof theory of modalities

Cites work

• scientific article; zbMATH DE number 5263148 (Why is no real title available?)
• scientific article; zbMATH DE number 3315171 (Why is no real title available?)
• Multiple conclusions
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Truth values and proof theory
• Two-dimensional semantics and the articulation problem

Cited in

(17)

• Proof theory for functional modal logic
• Actuality, tableaux, and two-dimensional modal logics
• Hypersequent and display calculi -- a unified perspective
• A logic for epistemic two-dimensional semantics
• The laws of thought and the laws of truth as two sides of one coin
• Inducing syntactic cut-elimination for indexed nested sequents
• What is the correct logic of necessity, actuality and apriority?
• scientific article; zbMATH DE number 4121966 (Why is no real title available?)
• QUESTIONS IN TWO-DIMENSIONAL LOGIC
• THE LOGIC OF SEQUENCE FRAMES
• Non-classical elegance for sequent calculus enthusiasts
• GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
• A two-dimensional logic for diagonalization and the a priori
• Simple sequent systems for the modal logics K, D, T, and S4
• Proofs with star and perp
• A hypersequent solution to the inferentialist problem of modality
• Anselm's God in Isabelle/HOL

This page was built for publication: A cut-free sequent system for two-dimensional modal logic, and why it matters

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