research
∙
06/17/2022
Uniform and Modular Sequent Systems for Description Logics
We introduce a framework that allows for the construction of sequent sys...
share
research
∙
07/30/2021
Refining Labelled Systems for Modal and Constructive Logics with Applications
This thesis introduces the "method of structural refinement", which serv...
research
∙
04/19/2021
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics
This paper studies the relationship between labelled and nested calculi ...
research
∙
11/06/2019
Display to Labelled Proofs and Back Again for Tense Logics
We introduce translations between display calculus proofs and labelled c...
research
∙
10/15/2019
Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents
This paper employs the recently introduced linear nested sequent framewo...
research
∙
10/15/2019
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems
This paper shows how to derive nested calculi from labelled calculi for ...
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...
research
∙
08/29/2019
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics
This work provides proof-search algorithms and automated counter-model e...
research
∙
07/07/2019
A Neutral Temporal Deontic STIT Logic
In this work we answer a long standing request for temporal embeddings o...
research
∙
04/22/2019
Cut-free Calculi and Relational Semantics for Temporal STIT Logics
We present cut-free labelled sequent calculi for a central formalism in ...
research
∙
02/18/2019