A System of Complete and Consistent Truth. - Volker Halbach (Notre Dame J. Formal Log., 1994)

Tarski-Hierarchien. - Volker Halbach (1994)

Tarskian and Kripkean truth. - Volker Halbach (J. Philos. Log., 1997)

Conservative Theories of Classical Truth. - Volker Halbach (Stud Logica, 1999)

Two Proof-Theoretic Remarks on EA + ECT. - Volker Halbach; Leon Horsten (Math. Log. Q., 2000)

Disquotational Truth and Analyticity. - Volker Halbach (J. Symb. Log., 2001)

Editorial Introduction. - Volker Halbach (Stud Logica, 2001)

How Innocent Is Deflationism? - Volker Halbach (Synth., 2001)

Possible-Worlds Semantics for Modal Notions Conceived as Predicates. - Volker Halbach; Hannes Leitgeb; Philip D. Welch (J. Philos. Log., 2003)

Reflections On Frege And Hilbert. - Bernd Buldt; Volker Halbach; Reinhard Kahle (Synth., 2005)

Axiomatizing Kripke's Theory of Truth. - Volker Halbach; Leon Horsten (J. Symb. Log., 2006)

Reducing Compositional to Disquotational Truth. - Volker Halbach (Rev. Symb. Log., 2009)

Self-Reference in Arithmetic I. - Volker Halbach; Albert Visser (Rev. Symb. Log., 2014)

Self-Reference in Arithmetic II. - Volker Halbach; Albert Visser (Rev. Symb. Log., 2014)

Axiomatizing Semantic Theories of Truth? - Martin Fischer; Volker Halbach; Jönne Kriener; Johannes Stern (Rev. Symb. Log., 2015)

On the Costs of Nonclassical Logic. - Volker Halbach; Carlo Nicolai (J. Philos. Log., 2018)

Formal Notes on the Substitutional Analysis of Logical Consequence. - Volker Halbach (Notre Dame J. Formal Log., 2020)

Varieties of Self-Reference in Metamathematics. - Balthasar Grabmayr; Volker Halbach; Lingyuan Ye (J. Philos. Log., 2023)

Classical Determinate Truth I. - Kentaro Fujimoto; Volker Halbach (J. Symb. Log., 2024)