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

DOI10.1016/j.apal.2011.12.012zbMath1256.03026OpenAlexW2056818739MaRDI QIDQ450956

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

modal logiccompletenesscut eliminationsemanticshypersequent

Mathematics Subject Classification ID

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

Related Items (12)

QUESTIONS IN TWO-DIMENSIONAL LOGIC ⋮ THE LOGIC OF SEQUENCE FRAMES ⋮ WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY? ⋮ A two-dimensional logic for diagonalization and the a priori ⋮ The laws of thought and the laws of truth as two sides of one coin ⋮ Proof theory for functional modal logic ⋮ A logic for epistemic two-dimensional semantics ⋮ GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC ⋮ Non-classical elegance for sequent calculus enthusiasts ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Actuality, tableaux, and two-dimensional modal logics ⋮ Inducing Syntactic Cut-Elimination for Indexed Nested Sequents

Cites Work

• Truth values and proof theory
• Two-dimensional semantics and the articulation problem
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

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