A cut-free simple sequent calculus for modal logic S5
From MaRDI portal
Publication:3580655
Recommendations
Cites work
- scientific article; zbMATH DE number 3145226 (Why is no real title available?)
- scientific article; zbMATH DE number 956466 (Why is no real title available?)
- scientific article; zbMATH DE number 1252393 (Why is no real title available?)
- scientific article; zbMATH DE number 5263148 (Why is no real title available?)
- A cut-free Gentzen formulation of the modal logic S5
- A cut-free Gentzen-type system for the modal logic S5
- A cut-free simple sequent calculus for modal logic S5
- A perspective on modal sequent logic
- Cut-free modal sequents for normal modal logics
- Deep sequent systems for modal logic
- Indexed systems of sequents and cut-elimination
- Proof analysis in modal logic
- Sequent Calculi for Normal Modal Propositional Logics
- Sequent-systems for modal logic
Cited in
(49)- A contraction-free and cut-free sequent calculus for propositional dynamic logic
- THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS
- Through an inference rule, darkly
- Sequent calculi for the modal \(\mu \)-calculus over S5
- Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
- A labelled sequent calculus for half-order modal logic
- Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- Truth values and proof theory
- Simple decision procedure for \(\mathbf {S5}\) in standard cut-free sequent calculus
- Display calculi and other modal calculi: a comparison
- Sequent calculi for monotonic modal logics
- The Method of Tree-Hypersequents for Modal Propositional Logic
- A Critical Overview of the Most Recent Logics of Grounding
- Hypersequent calculi for S5: the methods of cut elimination
- Linear Nested Sequents, 2-Sequents and Hypersequents
- A simple cut-free system for a paraconsistent logic equivalent to S5
- Tautology elimination, cut elimination, and S5
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5
- Rooted hypersequent calculus for modal logic \textsf{S5}
- Cut elimination theorem for non-commutative hypersequent calculus
- scientific article; zbMATH DE number 975278 (Why is no real title available?)
- On a multilattice analogue of a hypersequent S5 calculus
- A deep inference system for the modal logic S5
- Varieties of Relevant S5
- Valentini's cut-elimination for provability logic resolved
- Hypersequent and display calculi -- a unified perspective
- Contraction-free calculi for modal logics S5 and KD45
- scientific article; zbMATH DE number 5263148 (Why is no real title available?)
- Natural deduction calculi for classical and intuitionistic S5
- Cut free sequent calculus for logic S5\(_n\)(ED)
- Hypersequent rules with restricted contexts for propositional modal logics
- Revisiting epistemic logic with names
- From single agent to multi-agent via hypersequents
- Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames
- A cut-free Gentzen formulation of the modal logic S5
- Two is enough -- bisequent calculus for S5
- Cut-free sequent calculi for products and relativised products of modal logics
- scientific article; zbMATH DE number 834567 (Why is no real title available?)
- Labeled sequent calculi for modal logics and implicit contractions
- Conservativeness and eliminability for anti-realistic definitions. Towards a global view of the meaning of logical constants
- CoNP complexity for combinations of non-normal modal logics
- Non-classical elegance for sequent calculus enthusiasts
- An Analytic Propositional Proof System on Graphs
- A cut-free simple sequent calculus for modal logic S5
- Correspondence between modal Hilbert axioms and sequent rules with an application to S5
- scientific article; zbMATH DE number 591209 (Why is no real title available?)
- Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
This page was built for publication: A cut-free simple sequent calculus for modal logic S5
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3580655)
