research
∙
10/11/2019
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents
We provide a direct method for proving Craig interpolation for a range o...
share
research
∙
04/14/2018
Modal Dependent Type Theory and Dependent Right Adjoints
In recent years we have seen several new models of dependent type theory...
research
∙
10/30/2017
Modular Labelled Sequent Calculi for Abstract Separation Logics
Abstract separation logics are a family of extensions of Hoare logic for...
research
∙
10/23/2017