Similar Items: On Nested Sequents for Constructive Modal Logics
- On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
- Inducing syntactic cut-elimination for indexed nested sequents
- Modal Logics of Topological Relations
- Modal meet-implication logic
- A sequent calculus for a semi-associative law
- First-Order and Temporal Logics for Nested Words