A cut-free simple sequent calculus for modal logic S5
From MaRDI portal
(Redirected from Publication:3580655)
Recommendations
Cites work
- 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
- 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?)
- 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
(63)- Truth values and proof theory
- Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom
- A simple propositional \(\text{S}5\) tableau system
- Two is enough -- bisequent calculus for S5
- Hypersequent and display calculi -- a unified perspective
- From single agent to multi-agent via hypersequents
- A deep inference system for the modal logic S5
- Contraction-free calculi for modal logics S5 and KD45
- Cut free sequent calculus for logic S5_n(ED)
- Correspondence between modal Hilbert axioms and sequent rules with an application to S5
- Valentini's cut-elimination for provability logic resolved
- Conservativeness and eliminability for anti-realistic definitions. Towards a global view of the meaning of logical constants
- Hypersequent calculi for S5: the methods of cut elimination
- A Critical Overview of the Most Recent Logics of Grounding
- Through an inference rule, darkly
- On a multilattice analogue of a hypersequent S5 calculus
- Sequent calculi for monotonic modal logics
- Hypersequent rules with restricted contexts for propositional modal logics
- Linear Nested Sequents, 2-Sequents and Hypersequents
- A cut-free simple sequent calculus for modal logic S5
- The Method of Tree-Hypersequents for Modal Propositional Logic
- Sequent calculi for the modal -calculus over S5
- Labeled sequent calculi for modal logics and implicit contractions
- scientific article; zbMATH DE number 591209 (Why is no real title available?)
- A Sequent Calculus for the Lesniewskian Modal Logic
- Cut-free double sequent calculus for S5
- A cut-free Gentzen formulation of the modal logic S5
- Tautology elimination, cut elimination, and S5
- Simple decision procedure for \(\mathbf {S5}\) in standard cut-free sequent calculus
- Cut elimination theorem for non-commutative hypersequent calculus
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames
- scientific article; zbMATH DE number 834567 (Why is no real title available?)
- Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
- An Analytic Propositional Proof System on Graphs
- Non-classical elegance for sequent calculus enthusiasts
- A simple cut-free system for a paraconsistent logic equivalent to S5
- Cut-free sequent calculi for products and relativised products of modal logics
- scientific article; zbMATH DE number 975278 (Why is no real title available?)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5
- scientific article; zbMATH DE number 5263148 (Why is no real title available?)
- scientific article; zbMATH DE number 970622 (Why is no real title available?)
- A labelled sequent calculus for half-order modal logic
- Rooted hypersequent calculus for modal logic \textsf{S5}
- Varieties of Relevant S5
- THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5
- Natural deduction calculi for classical and intuitionistic S5
- S5-style non-standard modalities in a hypersequent framework
- CoNP complexity for combinations of non-normal modal logics
- Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
- Revisiting epistemic logic with names
- Internal and external calculi: ordering the jungle without being lost in translations
- Gentzen-type sequent calculus for modal logic S5
- Twist sequent calculi for S4 and its neighbors
- Minimal modal logics, constructive modal logics and their relations
- Another look at modality and connexivity
- Nested sequents or tree-hypersequents -- a survey
- Metainferences, invalidities and contraction-free sequent calculi for S5 and Carnap's C
- Propositional logics of overwhelming truth
- Dynamic hypersequents for public announcement logic
- A contraction-free and cut-free sequent calculus for propositional dynamic logic
- Display calculi and other modal calculi: a comparison
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)
