This thesis introduces the" method of structural refinement", which serves as a means of
transforming the relational semantics of a modal and/or constructive logic into …

We provide a direct method for proving Craig interpolation for a range of modal and
intuitionistic logics, including those containing a" converse" modality. We demonstrate this …

Standpoint logic is a recently proposed formalism in the context of knowledge integration,
which advocates a multi-perspective approach permitting reasoning with a selection of …

This paper studies the relationship between labelled and nested calculi for propositional
intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order …

This work provides proof-search algorithms and automated counter-model extraction for a
class of STIT logics. With this, we answer an open problem concerning syntactic decision …

We employ a recently developed methodology—called structural refinement—to extract
nested sequent systems for a sizable class of intuitionistic modal logics from their respective …

We introduce translations between display calculus proofs and labeled calculus proofs in
the context of tense logics. First, we show that every derivation in the display calculus for the …

This paper gives a broad account of the various sequent-based proof formalisms in the proof-
theoretic literature. We consider formalisms for various modal and tense logics, intuitionistic …

This paper presents an overview of the methods of nested sequents or tree-hypersequents
that were originally introduced to provide a comprehensive proof theory for modal logic. The …

We introduce a novel, logic-independent framework for the study of sequent-style proof
systems, which covers a number of proof-theoretic formalisms and concrete proof systems …