Hypersequent
Top View
- General Methods in Proof Theory for Modal Logic – Lecture 2 Limits of the Sequent Framework
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett’S Logic Lc
- Bunched Hypersequent Calculi for Distributive Substructural Logics
- From Axioms to Proof Rules, Then Add Quantifiers
- Hypersequent Calculi for Some Intermediate Logics with Bounded Kripke Models
- Hypersequent Calculi for Modal Logics
- Lecture 3 Modal Logic S5 and Hypersequents
- Arxiv:1905.09039V1