Pages that link to "Item:Q2987741"
From MaRDI portal
The following pages link to Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741):
Displaying 11 items.
- A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- Tautology Elimination, Cut Elimination, and S5 (Q4565826) (← links)
- Cut Elimination Theorem for Non-Commutative Hypersequent Calculus (Q4608559) (← links)
- Modal multilattice logics with Tarski, Kuratowski, and Halmos operators (Q5013628) (← links)
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME (Q5216979) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- Rooted hypersequent calculus for modal logic \textsf{S5} (Q6054106) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- Sequent Calculi for Orthologic with Strict Implication (Q6162079) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)