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

DOI10.1016/J.APAL.2011.12.012zbMATH Open1256.03026OpenAlexW2056818739MaRDI QIDQ450956FDOQ450956

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

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

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)

Cites Work

• Truth values and proof theory
• Multiple conclusions
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Two-dimensional semantics and the articulation problem

Cited In (13)

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

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)