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

DOI10.1016/J.APAL.2011.12.012MaRDI QIDQ450956zbMATHOpenAlexFDO

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

semanticscompletenessmodal logiccut eliminationhypersequent

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)

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

(13)

• Hypersequent and display calculi -- a unified perspective
• THE LOGIC OF SEQUENCE FRAMES
• What is the correct logic of necessity, actuality and apriority?
• Proof theory for functional modal logic
• QUESTIONS IN TWO-DIMENSIONAL LOGIC
• Inducing syntactic cut-elimination for indexed nested sequents
• The laws of thought and the laws of truth as two sides of one coin
• GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
• scientific article; zbMATH DE number 4121966 (Why is no real title available?)
• Actuality, tableaux, and two-dimensional modal logics
• Non-classical elegance for sequent calculus enthusiasts
• A logic for epistemic two-dimensional semantics
• A two-dimensional logic for diagonalization and the a priori

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)