Pages that link to "Item:Q2642520"
From MaRDI portal
The following pages link to A deep inference system for the modal logic S5 (Q2642520):
Displaying 8 items.
- Deep sequent systems for modal logic (Q834716) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- Maude as a Platform for Designing and Implementing Deep Inference Systems (Q5415654) (← links)
- Rooted hypersequent calculus for modal logic \textsf{S5} (Q6054106) (← links)
