The following pages link to (Q5457387):
Displaying 17 items.
- Natural deduction calculi and sequent calculi for counterfactual logics (Q332082) (← links)
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- A cut-free sequent system for two-dimensional modal logic, and why it matters (Q450956) (← links)
- Truth values and proof theory (Q1037601) (← links)
- Normal proofs, cut free derivations and structural rules (Q2259009) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- Linear Nested Sequents, 2-Sequents and Hypersequents (Q3455766) (← links)
- A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 (Q3580655) (← links)
- Modal multilattice logics with Tarski, Kuratowski, and Halmos operators (Q5013628) (← links)
- Interpolation Method for Multicomponent Sequent Calculi (Q5283429) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← 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)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
