| Publication | Date of Publication | Type |
|---|
| Incompleteness of a first-order Gödel logic and some temporal logics of programs | 2024-06-21 | Paper |
| THE GENEALOGY OF ‘’ | 2023-09-20 | Paper |
| Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC | 2023-07-03 | Paper |
| Some Unpublished Letters by G\"odel and von Neumann in the Fraenkel Archive | 2023-01-23 | Paper |
| EPSILON THEOREMS IN INTERMEDIATE LOGICS | 2022-06-15 | Paper |
| Corrections to: ``Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) | 2022-06-01 | Paper |
| CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D | 2022-02-07 | Paper |
| CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI | 2022-01-26 | Paper |
| An Introduction to Proof Theory | 2021-08-24 | Paper |
| The Significance of the Curry-Howard Isomorphism | 2020-08-21 | Paper |
| Semantics and Proof Theory of the Epsilon Calculus | 2019-07-24 | Paper |
| Epsilon Theorems in Intermediate Logics | 2019-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967207 | 2019-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967208 | 2019-07-03 | Paper |
| Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC | 2019-03-19 | Paper |
| MUltlog 1.0: Towards an expert system for many-valued logics | 2019-01-15 | Paper |
| Carnap's early metatheory: scope and limits | 2018-03-27 | Paper |
| Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) | 2016-05-25 | Paper |
| HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC | 2016-03-18 | Paper |
| Lectures on the Epsilon Calculus | 2014-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3016124 | 2011-07-13 | Paper |
| Tableaux for Reasoning about Atomic Updates | 2011-05-06 | Paper |
| Effective Finite-Valued Approximations of General Propositional Logics | 2008-03-25 | Paper |
| First-order Gödel logics | 2007-06-25 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| The epsilon calculus and Herbrand complexity | 2006-03-17 | Paper |
| Hilbert's Program Then and Now | 2005-08-29 | Paper |
| Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs | 2005-02-09 | Paper |
| Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\) | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431386 | 2003-10-21 | Paper |
| Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics | 2003-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767023 | 2002-06-30 | Paper |
| Approximating Propositional Calculi by Finite-valued Logics | 2002-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753673 | 2001-11-11 | Paper |
| Labeled calculi and finite-valued logics | 2001-06-25 | Paper |
| The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program | 2001-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4525273 | 2001-01-22 | Paper |
| Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic | 2000-08-15 | Paper |
| Note on generalizing theorems in algebraically closed fields | 1998-10-13 | Paper |
| Completeness of a first-order temporal logic with time-gaps | 1997-02-27 | Paper |
| Generalizing theorems in real closed fields | 1996-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4840168 | 1995-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4283227 | 1994-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282535 | 1994-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3142560 | 1994-01-09 | Paper |
| Logic in Mathematics and Computer Science | N/A | Paper |
