| Publication | Date of Publication | Type |
|---|
| A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalised | 2023-09-01 | Paper |
| Universal Proof Theory, TACL 2022 Lecture Notes | 2023-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884937 | 2023-03-24 | Paper |
| Logics and Admissible Rules of Constructive Set Theories | 2022-12-06 | Paper |
| The G4i analogue of a G3i sequent calculus | 2022-11-29 | Paper |
| Proof Theory for Lax Logic | 2022-09-19 | Paper |
| Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics | 2022-08-10 | Paper |
| Uniform Lyndon interpolation for intuitionistic monotone modal logic | 2022-08-09 | Paper |
| Uniform Lyndon interpolation for basic non-normal modal logics | 2022-06-24 | Paper |
| Logics of intuitionistic Kripke-Platek set theory | 2021-09-30 | Paper |
| Sequent calculi for intuitionistic Gödel-Löb logic | 2021-09-07 | Paper |
| Proof Theory for Intuitionistic Strong L\"ob Logic | 2020-11-20 | Paper |
| The G4i analogue of a G3i calculus | 2020-11-20 | Paper |
| Questions and dependency in intuitionistic logic | 2020-05-04 | Paper |
| Uniform interpolation and the existence of sequent calculi | 2019-10-07 | Paper |
| Reasoning in circles | 2019-07-24 | Paper |
| The Skolemization of prenex formulas in intermediate logics | 2019-05-02 | Paper |
| Terminating sequent calculi for two intuitionistic modal logics | 2019-01-31 | Paper |
| Uniform interpolation and sequent calculi in modal logic | 2019-01-24 | Paper |
| Skolemization in intermediate logics with the finite model property | 2019-01-08 | Paper |
| Remarks on Simple Proofs | 2017-11-22 | Paper |
| Structural completeness in propositional logics of dependence | 2016-11-01 | Paper |
| Consequence relations and admissible rules | 2016-06-29 | Paper |
| A syntactic approach to unification in transitive reflexive modal logics | 2016-05-25 | Paper |
| STABLE CANONICAL RULES | 2016-05-09 | Paper |
| On rules | 2016-04-13 | Paper |
| Tutorial on Admissible Rules in Gudauri | 2015-12-03 | Paper |
| UNIFICATION IN INTERMEDIATE LOGICS | 2015-11-09 | Paper |
| On unification and admissible rules in Gabbay-de Jongh logics | 2013-12-10 | Paper |
| Eskolemization in Intuitionistic Logic | 2011-10-21 | Paper |
| The eskolemization of universal quantifiers | 2011-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007245 | 2011-06-21 | Paper |
| Kripke models for subtheories of \textsf{CZF} | 2010-03-02 | Paper |
| Proof theory for admissible rules | 2009-06-10 | Paper |
| On Skolemization in constructive theories | 2009-03-23 | Paper |
| Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics | 2009-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3532275 | 2008-11-03 | Paper |
| On Interpolation in Existence Logics | 2008-05-27 | Paper |
| The basic intuitionistic logic of proofs | 2007-07-09 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| The Skolemization of existential quantifiers in intuitionistic logic | 2006-09-14 | Paper |
| On the rules of intermediate logics | 2006-09-04 | Paper |
| Properties of Intuitionistic Provability and Preservativity Logics | 2006-03-30 | Paper |
| Gentzen calculi for the existence predicate | 2006-03-17 | Paper |
| A Note on Linear Kripke Models | 2005-10-18 | Paper |
| Intermediate logics and Visser's rules | 2005-07-06 | Paper |
| Preservativity logic: An analogue of interpretability logic for constructive theories | 2003-05-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329242 | 2002-10-07 | Paper |
| A(nother) characterization of intuitionistic propositional logic | 2002-07-14 | Paper |
| On the admissible rules of intuitionistic propositional logic | 2002-06-06 | Paper |
| "A new calculus for intuitionistic Strong L\""ob logic: strong termination and cut-elimination, formalised" | 0001-01-03 | Paper |
