Please click on the highlighted titles to see the respective abstracts.


Tarski-Hierarchien, Ph.D. thesis, Centrum für Informations- und Sprachverarbeitung, München, 1994

Axiomatische Wahrheitstheorien, Akademie Verlag, Berlin, 1996

Semantics and Deflationism, unpublished habilitation thesis, 2001

The Logic Manual, Oxford University Press, 2010

Axiomatic Theories of Truth, Cambridge University Press, 2011


special issue Coherence and Dynamics of Belief (with Erik Olsson), Erkenntnis 50, 1999 (2-3), double issue

special issue Methods for Investigating Self-Referential Truth, Studia Logica 68 (1), 2001

Principles of Truth (with Leon Horsten), Ontos-Verlag 2002

book series logos (with Alexander Hieke, Hannes Leitgeb and Holger Sturm), Ontos Verlag, since 2002

special issue Reflections on Frege and Hilbert (with Bernd Buldt and Reinhard Kahle), Synthese 147 (2005)


A system of complete and consistent truth, Notre Dame Journal of Formal Logic 35 (1994), 311-327

Tarski-hierachies, Erkenntnis 43 (1996), pp. 339-367

Tarskian and Kripkean truth, Journal of Philosophical Logic 26 (1997), 69-80

Classical symmetric truth, in the proceedings volume Perspectives in Analytical Philosophy vol.1, Meggle, G. and Steinacker, P. (eds.), de Gruyter, 1997, 87-92

Conservative theories of classical truth, Studia Logica 62 (1999), 353-370

Disquotationalism and Infinite Conjunctions, Mind 108 (1999), 1-22

Preface to the special volume Coherence and Dynamics of Belief (with Erik Olsson), Erkenntnis 50 (1999), 149-153

On Lehrer’s Principle of Trustworthiness, Erkenntnis 50 (1999), 259-272

Der Preis der Wahrheit (Kurzfassung), in Die Zukunft des Wissens, Jürgen Mittelstraß (ed.), Universitätsverlag Konstanz, Constance, 1999, 427-434

Kohärenz und Paradox, in Die Zukunft des Wissens, Jürgen Mittelstraß (ed.), Universitätsverlag Konstanz, Constance, 1999, 607-613

Two proof-theoretic remarks on EA+ECT (with Leon Horsten), Mathematical Logic Quarterly 46 (2000), 461-466

Truth and Reduction, Erkenntnis 53 (2000), 97-126

Disquotationalism Fortified,  in Circularity, Definitions, and Truth, Anil Gupta und Andre Chapuis (eds.), Indian Council of Philosophical Research, New Delhi, 2000, 155-176

How Innocent is Deflationism?, Synthese 126 (2001), 167-194

Editorial Introduction to the special issue Methods for Investigating Self-Referential Truth of Studia Logica 68 (2001), 3-20

Disquotational Truth and Analyticity, Journal of Symbolic Logic 66 (2001), 1959-1973

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

Modalized Disquotationalism, in Principles of Truth, Volker Halbach & Leon Horsten (eds.), Dr. Hänsel-Hohenhausen, Frankfurt a.M., 2002, 75-101

War Descartes erkenntnistheoretischer Voluntarist?, Zeitschrift für philosophische Forschung 56 (2002), 545-562

Possible Worlds Semantics for Modal Notions Conceived as Predicates (with Hannes Leitgeb and Philip Welch), Journal of Philosophical Logic 32 (2003), 179-223

Can We Grasp Consistency?, in The Epistemology of Keith Lehrer, Erik Olsson (ed.), Philosophical Studies Series 95, Kluwer, Dordrecht, 2003, 75-87

Axiomatische Theorien der Wahrheit und wahrheitstheoretischer Deflationismus, Information Philosophie 31 (2003), 62-68

Bealers Masterargument: ein Lehrstück zum Verhältnis von Metaphysik und Semantik (with Holger Sturm), Facta Philosophica 6 (2004), 97-110

Wahrheit, in Logik in der Philosophie, Peter Schröder-Heister, Wolfgang Spohn and Erik J.Olsson (eds.), Synchron, Heidelberg, 2005, 227-245

Computational Structuralism (with Leon Horsten), Philosophia Mathematica 13 (2005), 174-186

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

The Deflationists Axioms for Truth (with Leon Horsten), in Deflationism and Paradox, JC Beall and Brad Armour-Garb (eds.), Oxford University Press, 2005, 203-217

Axiomatic Theories of Truth, The Stanford Encyclopedia of Philosophy (Spring 2006 Edition), Edward N. Zalta (ed.), URL = <>

Axiomatizing Kripke’s Theory of Truth (with Leon Horsten), Journal of Symbolic Logic 71 (2006), 677-712

Teorie assiomatiche della verità, Enciclopedia filosofica, Bompiani, 2006

Teorie revisioniste della verità, Enciclopedia filosofica, Bompiani, 2006

How not to state the T-sentences, Analysis 66 (2006), 276-280, correction in vol. 67, 268download as pdf file

On a Side Effect of Solving Fitch's Paradox by Typing Knowledge, Analysis 68 (2008), 114-120

Necessities and Necessary Truths: A Prolegomenon to the Metaphysics of Modality (with Philip Welch), Mind 118 (2009), 71-100

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.

Reducing Compositional to Disquotational Truth, Review of Symbolic Logic 2 (2009), 786-798

Truth and Paradox (with Leon Horsten), in Continuum Companion to Philosophical Logic, Leon Horsten and Richard Pettigrew (eds), Continuum Press, 2011, 351-382

The Henkin sentence (with Albert Visser), The Life and Work of Leon Henkin (Essays on His Contributions), María Manzano, Ildiko Sain and Enrique Alonso (eds), Studies in Universal Logic, Birkhäuser, Basel, 2014, 249-264 preprint

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

Norms for reflexive theories of truth (with Leon Horsten), in Unifying the Philosophy of Truth, Dora Achourioti, Henri Galinon, Kentaro Fujimoto (eds) Springer, to appear

The Axiomatic Approach to Truth (with Kentaro Fujimoto), Handbook of Truth, Michael Glanzberg (ed), Oxford University Press, to appear

Axiomatizing Semantic Theories of Truth? (with Martin Fischer, Jönne Speck and Johannes Stern)

11 December, 2014