A deep inference system for the modal logic S5

DOI10.1007/s11225-007-9028-yzbMath1162.03011OpenAlexW1994532891MaRDI QIDQ2642520

Phiniki Stouppa

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

zbMATH Keywords

proof theorydeep inferencecut-admissibilitycalculus of structuresmodal logic S5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07)

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

• Maude

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