The following pages link to (Q5457387):
Displaying 24 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)
- A simple propositional \(\text{S}5\) tableau system (Q1295438) (← links)
- Normal proofs, cut free derivations and structural rules (Q2259009) (← links)
- A deep inference system for the modal logic S5 (Q2642520) (← 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)
- (Q4218273) (← links)
- Cut-free double sequent calculus for S5 (Q4392661) (← 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)
- (Q5884972) (← 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)
- Some analytic systems of rules (Q6541146) (← links)
- CoNP complexity for combinations of non-normal modal logics (Q6541159) (← links)
