Pages that link to "Item:Q4392661"
From MaRDI portal
The following pages link to Cut-free double sequent calculus for S5 (Q4392661):
Displaying 10 items.
- Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom (Q1042695) (← links)
- From single agent to multi-agent via hypersequents (Q2392010) (← links)
- A deep inference system for the modal logic S5 (Q2642520) (← links)
- Cut free sequent calculus for logic S5\(_n\)(ED) (Q2810012) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- (Q5283968) (← links)
- Rooted hypersequent calculus for modal logic \textsf{S5} (Q6054106) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS (Q6131233) (← links)
