A perspective on modal sequent logic

DOI10.2977/prims/1195169271zbMath0766.03008OpenAlexW2017769810MaRDI QIDQ1187165

Stephen Blamey, Lloyd Humberstone

Publication date: 28 June 1992

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2977/prims/1195169271

zbMATH Keywords

modal logicfour-place sequentsScott-Makinson completeness proofsthree-place sequents

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items

The Došen square under construction: a tale of four modalities ⋮ Disentangling structural connectives or life without display property ⋮ Suszko's thesis, inferential many-valuedness, and the notion of a logical system ⋮ Priest on Negation ⋮ General-elimination stability ⋮ Harmony in multiple-conclusion natural-deduction ⋮ A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 ⋮ An intriguing logic with two implicational connectives ⋮ A survey of nonstandard sequent calculi ⋮ Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 ⋮ Display calculi and other modal calculi: a comparison ⋮ Explicating logical independence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A study of Kripke-type models for some modal logics by Gentzen's sequential method
• Display logic
• Expressive power and semantic completeness: Boolean connectives in modal logic
• Sequent-systems for modal logic