The following pages link to (Q4636285):
Displaying 4 items.
- Admissible bases via stable canonical rules (Q284230) (← links)
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
