Pages that link to "Item:Q3580655"
From MaRDI portal
The following pages link to A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 (Q3580655):
Displayed 27 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Labeled sequent calculi for modal logics and implicit contractions (Q377468) (← links)
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames (Q477584) (← links)
- Non-classical elegance for sequent calculus enthusiasts (Q519853) (← links)
- A contraction-free and cut-free sequent calculus for propositional dynamic logic (Q965900) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- Truth values and proof theory (Q1037601) (← links)
- Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom (Q1042695) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- From single agent to multi-agent via hypersequents (Q2392010) (← links)
- VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED (Q2890695) (← links)
- Conservativeness and Eliminability for Anti-Realistic Definitions (Q2908762) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
- A Critical Overview of the Most Recent Logics of Grounding (Q3295827) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← 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)
- The Method of Tree-Hypersequents for Modal Propositional Logic (Q3600562) (← links)
- Cut Elimination Theorem for Non-Commutative Hypersequent Calculus (Q4608559) (← links)
- CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D (Q5027667) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- Rooted hypersequent calculus for modal logic \textsf{S5} (Q6054106) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
- Natural deduction calculi for classical and intuitionistic S5 (Q6172068) (← links)
