A cut-free Gentzen formulation of the modal logic S5

DOI10.1093/JIGPAL/8.5.629zbMATH Open0965.03023OpenAlexW2023863745MaRDI QIDQ4511541FDOQ4511541

Authors: Torben Braüner 

Publication date: 28 February 2001

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/8.5.629

Recommendations

• scientific article; zbMATH DE number 3871327
• A cut-free simple sequent calculus for modal logic S5
• Hypersequent calculi for S5: the methods of cut elimination
• Cut free sequent calculus for logic S5\(_n\)(ED)
• scientific article; zbMATH DE number 4108725

zbMATH Keywords

modal logiccut-eliminationGentzen systemS5

Mathematics Subject Classification ID

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

Cited In (19)

• Title not available (Why is that?)
• Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
• Why does the proof-theory of hybrid logic work so well?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hypersequent calculi for S5: the methods of cut elimination
• Proof analysis in modal logic
• Rooted hypersequent calculus for modal logic \textsf{S5}
• The multiplicative-additive Lambek calculus with subexponential and bracket modalities
• On a multilattice analogue of a hypersequent S5 calculus
• Varieties of Relevant S5
• A deep inference system for the modal logic S5
• Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom
• Full classical S5 in natural deduction with weak normalization
• Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
• Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
• A cut-free simple sequent calculus for modal logic S5

This page was built for publication: A cut-free Gentzen formulation of the modal logic S5

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