Publications
Please click on the highlighted titles to see the respective abstracts.
Books
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
Edited
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)
Articles
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 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
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/>
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, 268 • download 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
The Axiomatic Approach to Truth (with Kentaro Fujimoto), Handbook of Truth, Michael Glanzberg (ed), Oxford University Press, to appear
Truth and Paradox (with Leon Horsten), Continuum Companion to Philosophical Logic, Leon Horsten and Richard Pettigrew (eds), Continuum Press, to appear