Professor Volker Halbach
University of Oxford
Professor, Philosophy
United Kingdom
My co-authors include
Albert Visser
My Publications
SELF-REFERENCE IN ARITHMETIC I
The Review of Symbolic Logic
October 2014
SELF-REFERENCE IN ARITHMETIC II
The Review of Symbolic Logic
October 2014
The Henkin Sentence
January 2014
Axiomatic Theories of Truth
January 2011
Preface
January 2011
Disquotation
January 2011
Hierarchies
January 2011
Disquotation
January 2011
Reflection
January 2011
Definitional and axiomatic theories of truth
January 2011
Truth and set theory
January 2011
Technical preliminaries
January 2011
Comparing axiomatic theories of truth
January 2011
Typed truth
January 2011
Classical compositional truth
January 2011
Typed and type-free theories of truth
January 2011
Axioms for type-free truth
January 2011
Kripke–Feferman
January 2011
Classical symmetric truth
January 2011
Reasons against typing
January 2011
ON THE BENEFITS OF A REDUCTION OF MODAL PREDICATES TO MODAL OPERATORS
December 2009
REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH
The Review of Symbolic Logic
December 2009
JEM Spotlight: Metal speciation related to neurotoxicity in humans
Journal of Environmental Monitoring
January 2009
On a side effect of solving Fitch's paradox by typing knowledge
Analysis
April 2008
How not to state T-sentences
Analysis
October 2006
Axiomatizing Kripke's theory of truth
Journal of Symbolic Logic
June 2006
Reflections On Frege And Hilbert
Synthese
October 2005
Modalized Disquotationalism
December 2004
Preface
December 2004
Principles of Truth
December 2004
Contemporary Methods for Investigating the Concept of Truth An Introduction
December 2004
Principles of Truth
December 2003
Preface
December 2003
Modalized Disquotationalism
December 2003
`Contemporary Methods for Investigating the Concept of Truth – An Introduction
December 2003
Benedikt Löwe and Philip Welch. Set-theoretic absoluteness and the revision theory. Stu...
Bulletin of Symbolic Logic
June 2003
Possible-Worlds Semantics for Modal Notions Conceived as Predicates
Journal of Philosophical Logic
April 2003
Can we Grasp Consistency?
January 2003
Induction Rules, Reflection Principles, and Provably Recursive Functions
Bulletin of Symbolic Logic
June 2002
Lev D. Beklemishev. <i>Induction rules, reflection principles, and provably recursive f...
Bulletin of Symbolic Logic
June 2002
Disquotational truth and analyticity
Journal of Symbolic Logic
December 2001
Two Proof-Theoretic Remarks on EA + ECT
Mathematical Logic Quarterly
October 2000
Tarskian and Kripkean truth
Journal of Philosophical Logic
February 1997
Tarski hierarchies
Erkenntnis
November 1995
A System of Complete and Consistent Truth
Notre Dame Journal of Formal Logic
July 1994
Tarski
Deflationism
Bibliography
Classical Symmetric Truth
Objects of truth
Axiomatizing Kripke's theory in partial logic
Grounded truth
Classical logic
Alternative evaluation schemata
Axioms and rules