| Publication | Date of Publication | Type |
|---|
| The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions | 2023-06-13 | Paper |
| Glivenko sequent classes and constructive cut elimination in geometric logics | 2023-06-05 | Paper |
| The intensional side of algebraic-topological representation theorems | 2023-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104707 | 2022-09-15 | Paper |
| Geometric Rules in Infinitary Logic | 2022-01-04 | Paper |
| Proof theory for quantified monotone modal logics | 2021-12-03 | Paper |
| Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic | 2021-11-09 | Paper |
| Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics | 2021-09-22 | Paper |
| Proof-theoretic analysis of the logics of agency: the deliberative STIT | 2021-08-19 | Paper |
| Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction | 2020-04-03 | Paper |
| Uniform labelled calculi for conditional and counterfactual logics | 2020-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5215773 | 2020-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5215790 | 2020-02-13 | Paper |
| Meaning in Use | 2020-02-04 | Paper |
| From mathematical axioms to mathematical rules of proof: recent developments in proof analysis | 2019-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224565 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224572 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224887 | 2019-07-24 | Paper |
| A constructive proof of the Heine-Borel covering theorem for formal reals | 2019-01-15 | Paper |
| CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS | 2018-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636042 | 2018-04-23 | Paper |
| Countermodels from Sequent Calculi in Multi-Modal Logics | 2017-05-16 | Paper |
| Proof analysis beyond geometric theories: from rule systems to systems of rules | 2016-07-07 | Paper |
| Glivenko sequent classes in the light of structural proof theory | 2016-05-13 | Paper |
| PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS | 2016-04-29 | Paper |
| A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel–McKinsey–Tarski embedding | 2016-04-28 | Paper |
| GEOMETRISATION OF FIRST-ORDER LOGIC | 2016-03-18 | Paper |
| A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics | 2015-12-11 | Paper |
| Proofs and countermodels in non-classical logics | 2015-02-05 | Paper |
| The Church-Fitch knowability paradox in the light of structural proof theory | 2014-04-07 | Paper |
| Does the deduction theorem fail for modal logic? | 2013-11-25 | Paper |
| On the Duality of Proofs and Countermodels in Labelled Sequent Calculi | 2013-10-04 | Paper |
| Proof analysis in intermediate logics | 2012-02-10 | Paper |
| Proof Analysis | 2012-01-31 | Paper |
| Reasoning about collectively accepted group beliefs | 2011-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3101107 | 2011-11-22 | Paper |
| Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus | 2009-12-01 | Paper |
| Proof Theory for Distributed Knowledge | 2009-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3536282 | 2008-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457385 | 2008-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5310883 | 2007-10-15 | Paper |
| Decision methods for linearly ordered Heyting algebras | 2006-05-26 | Paper |
| Proof analysis in modal logic | 2006-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718568 | 2006-01-16 | Paper |
| Permutability of rules in lattice theory. | 2005-04-19 | Paper |
| Proof-theoretical analysis of order relations | 2004-12-16 | Paper |
| Proof systems for lattice theory | 2004-09-24 | Paper |
| A normalizing system of natural deduction for intuitionistic linear logic | 2003-09-16 | Paper |
| Contraction-free sequent calculi for geometric theories with an application to Barr's theorem | 2003-09-16 | Paper |
| Varieties of linear calculi | 2003-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552743 | 2002-09-03 | Paper |
| Continuous domains as formal spaces | 2002-06-09 | Paper |
| Admissibility of structural rules for extensions of contraction-free sequent calculi | 2002-05-13 | Paper |
| Sequent calculus in natural deduction style | 2002-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2744125 | 2001-09-18 | Paper |
| Admissibility of structural rules for contraction-free systems of intuitionistic logic | 2001-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838817 | 2001-03-22 | Paper |
| Cut Elimination in the Presence of Axioms | 2000-04-06 | Paper |
| Sequent calculus proof theory of intuitionistic apartness and order relations | 2000-01-04 | Paper |
| The continuum as a formal space | 2000-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247301 | 1999-10-05 | Paper |
| The generalized Riemann integral on locally compact spaces | 1999-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246953 | 1999-06-16 | Paper |
| Tychonoff's theorem in the framework of formal topologies | 1998-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896531 | 1997-05-25 | Paper |
| Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic | 1996-05-02 | Paper |
