Pages that link to "Item:Q344801"
From MaRDI portal
The following pages link to Hypersequent rules with restricted contexts for propositional modal logics (Q344801):
Displaying 8 items.
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Complexity of the universal theory of modal algebras (Q2307300) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- Rooted hypersequent calculus for modal logic \textsf{S5} (Q6054106) (← links)
- Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← links)
- Natural deduction calculi for classical and intuitionistic S5 (Q6172068) (← links)