A deep inference system for the modal logic S5
From MaRDI portal
Publication:2642520
DOI10.1007/s11225-007-9028-yzbMath1162.03011OpenAlexW1994532891MaRDI QIDQ2642520
Publication date: 17 August 2007
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://boris.unibe.ch/26455/1/sto07.pdf
Related Items (8)
Deep sequent systems for modal logic ⋮ An Analytic Propositional Proof System on Graphs ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ Rooted hypersequent calculus for modal logic \textsf{S5} ⋮ Hypersequent Calculi for S5: The Methods of Cut Elimination ⋮ Maude as a Platform for Designing and Implementing Deep Inference Systems ⋮ A survey of nonstandard sequent calculi ⋮ On a multilattice analogue of a hypersequent S5 calculus
Uses Software
Cites Work
- Proof analysis in modal logic
- A study of Kripke-type models for some modal logics by Gentzen's sequential method
- A simple propositional \(\text{S}5\) tableau system
- Displaying modal logic
- Translation of hypersequents into display sequents
- Cut-free double sequent calculus for S5
- A cut-free Gentzen formulation of the modal logic S5
- A system of interaction and structure
- Reducing Nondeterminism in the Calculus of Structures
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A deep inference system for the modal logic S5