| 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 ‘’
The Review of Symbolic Logic | 2023-09-20 | Paper |
Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC
Logic and Logical Philosophy | 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
Journal of Symbolic Logic | 2022-06-15 | Paper |
EPSILON THEOREMS IN INTERMEDIATE LOGICS
Journal of Symbolic Logic | 2022-06-15 | Paper |
Corrections to: ``Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
Journal of Philosophical Logic | 2022-06-01 | Paper |
Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
The Review of Symbolic Logic | 2022-02-07 | Paper |
Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
The Review of Symbolic Logic | 2022-01-26 | Paper |
| An Introduction to Proof Theory | 2021-08-24 | Paper |
The Significance of the Curry-Howard Isomorphism
Philosophy of Logic and Mathematics | 2020-08-21 | Paper |
Semantics and proof theory of the epsilon calculus
Logic and Its Applications | 2019-07-24 | Paper |
Epsilon Theorems in Intermediate Logics
(available as arXiv preprint) | 2019-07-09 | Paper |
| scientific article; zbMATH DE number 7075908 (Why is no real title available?) | 2019-07-03 | Paper |
| scientific article; zbMATH DE number 7075909 (Why is no real title available?) | 2019-07-03 | Paper |
Non-analytic tableaux for Chellas's conditional logic CK and Lewis's logic of counterfactuals VC
The Australasian Journal of Logic | 2019-03-19 | Paper |
MUltlog 1.0: towards an expert system for many-valued logics
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Carnap's early metatheory: scope and limits
Synthese | 2018-03-27 | Paper |
Carnap's early metatheory: scope and limits
Synthese | 2018-03-27 | Paper |
Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
Journal of Philosophical Logic | 2016-05-25 | Paper |
Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic
The Bulletin of Symbolic Logic | 2016-03-18 | Paper |
| Lectures on the Epsilon Calculus | 2014-11-13 | Paper |
| scientific article; zbMATH DE number 5920144 (Why is no real title available?) | 2011-07-13 | Paper |
Tableaux for Reasoning about Atomic Updates
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
Effective Finite-Valued Approximations of General Propositional Logics
Pillars of Computer Science | 2008-03-25 | Paper |
First-order Gödel logics
Annals of Pure and Applied Logic | 2007-06-25 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
The epsilon calculus and Herbrand complexity
Studia Logica | 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
History and Philosophy of Logic | 2005-02-09 | Paper |
Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\)
Journal of Philosophical Logic | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 1995176 (Why is no real title available?) | 2003-10-21 | Paper |
| Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics | 2003-03-01 | Paper |
scientific article; zbMATH DE number 1696769 (Why is no real title available?)
(available as arXiv preprint) | 2002-06-30 | Paper |
| Approximating Propositional Calculi by Finite-valued Logics | 2002-03-19 | Paper |
scientific article; zbMATH DE number 1670477 (Why is no real title available?)
(available as arXiv preprint) | 2001-11-11 | Paper |
Labeled calculi and finite-valued logics
Studia Logica | 2001-06-25 | Paper |
| The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program | 2001-02-23 | Paper |
| scientific article; zbMATH DE number 1555175 (Why is no real title available?) | 2001-01-22 | Paper |
Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
The Bulletin of Symbolic Logic | 2000-08-15 | Paper |
Note on generalizing theorems in algebraically closed fields
Archive for Mathematical Logic | 1998-10-13 | Paper |
Completeness of a first-order temporal logic with time-gaps
Theoretical Computer Science | 1997-02-27 | Paper |
Generalizing theorems in real closed fields
Annals of Pure and Applied Logic | 1996-01-21 | Paper |
| scientific article; zbMATH DE number 777292 (Why is no real title available?) | 1995-07-20 | Paper |
| scientific article; zbMATH DE number 515726 (Why is no real title available?) | 1994-08-28 | Paper |
| scientific article; zbMATH DE number 517011 (Why is no real title available?) | 1994-08-25 | Paper |
| scientific article; zbMATH DE number 446843 (Why is no real title available?) | 1994-01-09 | Paper |
Logic in Mathematics and Computer Science
(available as arXiv preprint) | N/A | Paper |
