Pages that link to "Item:Q5271078"
From MaRDI portal
The following pages link to From Frame Properties to Hypersequent Rules in Modal Logics (Q5271078):
Displayed 24 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames (Q477584) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
- Cyclic hypersequent calculi for some modal logics with the master modality (Q2142089) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← 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)
- 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)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- (Q5094116) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME (Q5216979) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
- Interpolation Method for Multicomponent Sequent Calculi (Q5283429) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- Rooted hypersequent calculus for modal logic \textsf{S5} (Q6054106) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)