Pages that link to "Item:Q2851947"
From MaRDI portal
The following pages link to Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5 (Q2851947):
Displaying 4 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
