Books
The Definition of Logical Consequence, to appear with Oxford University Press
The Road to Paradox: A Guide to Syntax, Truth, and Modality (with Graham Leigh), to appear with Cambridge University Press. We finished the monograph in March 2023 and sent a printable pdf to CUP. Since then we are waiting for the book to appear.
Axiomatic Theories of Truth, Cambridge University Press, 2011
The Logic Manual, Oxford University Press, 2010
Axiomatische Wahrheitstheorien, Akademie Verlag, Berlin, 1996
Articles
Unrestricted Quantification and Logical Constants, Journal for the Philosophy of Mathematics 1 (2024), 123–140
Classical Determinate Truth I (with Kentaro Fujimoto), Journal of Symbolic Logic 89 (2024), 218–261 • DOI
Varieties of Self-Reference in Metamathematics (with Balthasar Grabmayr and Lingyuan Ye), Journal of Philosophical Logic 52 (2023), 1005–1052 • DOI
Self-Referential Gettier Sentences (with Leon Horsten), in Paradoxes Between Truth and Proof, Mattia Petrolo and Giorgio Venturi (eds), Synthese Library, Springer, to appear • submitted version
The Fourth Grade of Modal Involvement, in Modes of Truth: The Unified Approach to Modality, Truth, and Paradox, Carlo Nicolai and Johannes Stern (eds.), Routledge, 2021, 209–230
Formal Notes on the Substitutional Analysis of Logical Consequence, Notre Dame Journal of Formal Logic 61 (2020), 317–339 • DOI • submitted version
The Substitutional Analysis of Logical Consequence, Noûs 54 (2020), 431–450 •DOI• submitted version
On the Costs of Nonclassical Logic (with Carlo Nicolai), Journal of Philosophical Logic 47 (2018), 227–257 • submitted version
The Axiomatic Approach to Truth (with Kentaro Fujimoto), in Handbook of Truth, Michael Glanzberg (ed.), Oxford University Press, 2018, 718–738
Feferman and the Truth (with Andrea Cantini and Kentaro Fujimoto), in Feferman on Foundations: Logic, Mathematics, Philosophy, Gerhard Jäger & Wilfried Sieg (eds.), Springer 2017, 287–314
Yablo without Gödel (with Shuoying Zhang), Analysis 77 (2017), 53–59 • submitted version
Prolegomena zu einer jeden künftigen Definition von Wissen, die als Lösung des Gettierproblems wird auftreten können, in Von Rang und Namen: Essays in Honour of Wolfgang Spohn, Wolfgang Freitag, Hans Rott, Holger Sturm & Alexandra Zinke (eds.), Mentis 2016, 147–172
The Root of Evil: A Self-Referential Play in One Act, in Liber Amicorum Alberti: A Tribute to Albert Visser, Jan van Eijck, Rosalie Iemhoff, Joost J. Joosten (eds.), Tributes vol. 30, College Publications London, 2016, 155–163 • submitted version
Axiomatizing Semantic Theories of Truth? (with Martin Fischer, Jönne Speck and Johannes Stern), Review of Symbolic Logic 8 (2015), 257-278 • submitted version
Norms for Reflexive Theories of Truth (with Leon Horsten), in Unifying the Philosophy of Truth, Dora Achourioti, José Martínez Fernández, Henri Galinon, Kentaro Fujimoto (eds), Logic, Epistemology, and the Unity of Science vol. 36, Springer, Dordrecht, 2015, 263-280
Self-Reference in Arithmetic I (with Albert Visser), Review of Symbolic Logic 7 (2014), 671-691 • preprint containing both parts
Self-Reference in Arithmetic II (with Albert Visser), Review of Symbolic Logic 7 (2014), 692-712 • preprint containing both parts
The Henkin Sentence (with Albert Visser), The Life and Work of Leon Henkin (Essays on His Contributions), María Manzano, Ildikó Sain and Enrique Alonso (eds), Studies in Universal Logic, Birkhäuser, Basel, 2014, 249-264 • preprint
Truth and Paradox (with Leon Horsten), in Continuum Companion to Philosophical Logic, Leon Horsten and Richard Pettigrew (eds), Continuum Press, 2011, 351-382
Reducing Compositional to Disquotational Truth, Review of Symbolic Logic 2 (2009), 786-798
On the Benefits of a Reduction of Modal Predicates to Modal Operators, in Reduction - Abstraction - Analysis, proceedings of the 31st International Wittgenstein Symposium Kirchberg, Ontos Verlag, Heusenstamm bei Frankfurt a.M, 2009, 323-333.
Necessities and Necessary Truths: A Prolegomenon to the Metaphysics of Modality (with Philip Welch), Mind 118 (2009), 71-100
On a Side Effect of Solving Fitch's Paradox by Typing Knowledge, Analysis 68 (2008), 114-120
How not to state the T-sentences, Analysis 66 (2006), 276-280 • The paper was converted by the journal into Word and then printed with errors introduced in the process without showing me the proofs. This necessitated a correction in vol. 67, 268 • download as pdf file
Teorie assiomatiche della verità, Enciclopedia filosofica, Bompiani, 2006
Teorie revisioniste della verità, Enciclopedia filosofica, Bompiani, 2006
Axiomatizing Kripke’s Theory of Truth (with Leon Horsten), Journal of Symbolic Logic 71 (2006), 677-712
Axiomatic Theories of Truth, The Stanford Encyclopedia of Philosophy (Spring 2006 Edition), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/spr2006/entries/truth-axiomatic/>
The Deflationist’s Axioms for Truth (with Leon Horsten), in Deflationism and Paradox, JC Beall and Brad Armour-Garb (eds.), Oxford University Press, 2005, 203-217
Possible Worlds Semantics for Predicates (with Hannes Leitgeb and Philip Welch), in Intensionality, Reinhard Kahle (ed.), Lecture Notes in Logic 22, Association of Symbolic Logic, A K Peters, Wellesley, 2005, 20-41
Computational Structuralism (with Leon Horsten), Philosophia Mathematica 13 (2005), 174-186
Wahrheit, in Logik in der Philosophie, Peter Schröder-Heister, Wolfgang Spohn and Erik J.Olsson (eds.), Synchron, Heidelberg, 2005, 227-245
Bealers Masterargument: ein Lehrstück zum Verhältnis von Metaphysik und Semantik (with Holger Sturm), Facta Philosophica 6 (2004), 97-110
Axiomatische Theorien der Wahrheit und wahrheitstheoretischer Deflationismus, Information Philosophie 31 (2003), 62-68
Can We Grasp Consistency?, in The Epistemology of Keith Lehrer, Erik Olsson (ed.), Philosophical Studies Series 95, Kluwer, Dordrecht, 2003, 75-87
Possible Worlds Semantics for Modal Notions Conceived as Predicates (with Hannes Leitgeb and Philip Welch), Journal of Philosophical Logic 32 (2003), 179-223
War Descartes erkenntnistheoretischer Voluntarist?, Zeitschrift für philosophische Forschung 56 (2002), 545-562
Modalized Disquotationalism, in Principles of Truth, Volker Halbach & Leon Horsten (eds.), Dr. Hänsel-Hohenhausen, Frankfurt a.M., 2002, 75-101
Recent Developments in the Theory of Truth (with Leon Horsten), in Principles of Truth, Volker Halbach & Leon Horsten, Hänsel-Hohenhausen, Frankfurt a.M., 2002, 11-35
Disquotational Truth and Analyticity, Journal of Symbolic Logic 66 (2001), 1959-1973
Editorial Introduction to the special issue Methods for Investigating Self-Referential Truth of Studia Logica 68 (2001), 3-20
How Innocent is Deflationism?, Synthese 126 (2001), 167-194
Disquotationalism Fortified, in Circularity, Definitions, and Truth, Anil Gupta und Andre Chapuis (eds.), Indian Council of Philosophical Research, New Delhi, 2000, 155-176
Truth and Reduction, Erkenntnis 53 (2000), 97-126
Two proof-theoretic remarks on EA+ECT (with Leon Horsten), Mathematical Logic Quarterly 46 (2000), 461-466
Kohärenz und Paradox, in Die Zukunft des Wissens, Jürgen Mittelstraß (ed.), Universitätsverlag Konstanz, 1999, 607-613
Der Preis der Wahrheit (Kurzfassung), in Die Zukunft des Wissens, Jürgen Mittelstraß (ed.), Universitätsverlag Konstanz, 1999, 427-434
On Lehrer’s Principle of Trustworthiness, Erkenntnis 50 (1999), 259-272
Preface to the special volume Coherence and Dynamics of Belief (with Erik Olsson), Erkenntnis 50 (1999), 149-153
Disquotationalism and Infinite Conjunctions, Mind 108 (1999), 1-22
Conservative theories of classical truth, Studia Logica 62 (1999), 353-370
Classical symmetric truth, in the proceedings volume Perspectives in Analytical Philosophy vol.1, Meggle, G. and Steinacker, P. (eds.), de Gruyter, 1997, 87-92
Tarskian and Kripkean truth, Journal of Philosophical Logic 26 (1997), 69-80
Tarski-hierachies, Erkenntnis 43 (1996), pp. 339-367
A system of complete and consistent truth, Notre Dame Journal of Formal Logic 35 (1994), 311-327
Theses
Semantics and Deflationism, unpublished habilitation thesis, 2001
Tarski-Hierarchien, Ph.D. thesis, Centrum für Informations- und Sprachverarbeitung, München, 1994
Edited
special issue Reflections on Frege and Hilbert (with Bernd Buldt and Reinhard Kahle), Synthese 147 (2005)
book series logos (with Alexander Hieke, Hannes Leitgeb and Holger Sturm), Ontos Verlag, since 2002
Principles of Truth (with Leon Horsten), Ontos-Verlag 2002
special issue Methods for Investigating Self-Referential Truth, Studia Logica 68 (1), 2001
special issue Coherence and Dynamics of Belief (with Erik Olsson), Erkenntnis 50, 1999 (2-3), double issue