All Stories

  1. SELF-REFERENCE IN ARITHMETIC I

    Article • The Review of Symbolic Logic, October 2014, Cambridge University Press

    Professor Volker Halbach, Albert Visser

  2. SELF-REFERENCE IN ARITHMETIC II

    Article • The Review of Symbolic Logic, October 2014, Cambridge University Press

    Professor Volker Halbach, Albert Visser

  3. The Henkin Sentence

    Article • January 2014, Springer Science + Business Media

    Professor Volker Halbach

  4. Axiomatic Theories of Truth

    Article • January 2011, Cambridge University Press

    Professor Volker Halbach

  5. Preface

    Article • January 2011, Cambridge University Press

    Professor Volker Halbach

  6. Disquotation

    Article • January 2011, Cambridge University Press

    Professor Volker Halbach

  7. Hierarchies

    Article • January 2011, Cambridge University Press

    Professor Volker Halbach

  8. Disquotation

    Article • January 2011, Cambridge University Press

    Professor Volker Halbach

  9. Reflection

    Article • January 2011, Cambridge University Press

    Professor Volker Halbach

  10. Definitional and axiomatic theories of truth

    Article • January 2011, Cambridge University Press

    Professor Volker Halbach

  11. Truth and set theory

    Article • January 2011, Cambridge University Press

    Professor Volker Halbach

  12. Technical preliminaries

    Article • January 2011, Cambridge University Press

    Professor Volker Halbach

  13. Comparing axiomatic theories of truth

    Article • January 2011, Cambridge University Press

    Professor Volker Halbach

  14. Typed truth

    Article • January 2011, Cambridge University Press

    Professor Volker Halbach

  15. Classical compositional truth

    Article • January 2011, Cambridge University Press

    Professor Volker Halbach

  16. Typed and type-free theories of truth

    Article • January 2011, Cambridge University Press

    Professor Volker Halbach

  17. Axioms for type-free truth

    Article • January 2011, Cambridge University Press

    Professor Volker Halbach

  18. Kripke–Feferman

    Article • January 2011, Cambridge University Press

    Professor Volker Halbach

  19. Classical symmetric truth

    Article • January 2011, Cambridge University Press

    Professor Volker Halbach

  20. Reasons against typing

    Article • January 2011, Cambridge University Press

    Professor Volker Halbach

  21. ON THE BENEFITS OF A REDUCTION OF MODAL PREDICATES TO MODAL OPERATORS

    Article • December 2009, De Gruyter

    Professor Volker Halbach

  22. REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH

    Article • The Review of Symbolic Logic, December 2009, Cambridge University Press

    Professor Volker Halbach

  23. JEM Spotlight: Metal speciation related to neurotoxicity in humans

    Article • Journal of Environmental Monitoring, January 2009, Royal Society of Chemistry

    Professor Volker Halbach

  24. On a side effect of solving Fitch's paradox by typing knowledge

    Article • Analysis, April 2008, Oxford University Press (OUP)

    Professor Volker Halbach

  25. How not to state T-sentences

    Article • Analysis, October 2006, Oxford University Press (OUP)

    Professor Volker Halbach

  26. Axiomatizing Kripke's theory of truth

    Article • Journal of Symbolic Logic, June 2006, Cambridge University Press

    Professor Volker Halbach

  27. Reflections On Frege And Hilbert

    Article • Synthese, October 2005, Springer Science + Business Media

    Professor Volker Halbach

  28. Modalized Disquotationalism

    Article • December 2004, De Gruyter

    Professor Volker Halbach

  29. Preface

    Article • December 2004, De Gruyter

    Professor Volker Halbach

  30. Principles of Truth

    Article • December 2004, De Gruyter

    Professor Volker Halbach

  31. Contemporary Methods for Investigating the Concept of Truth An Introduction

    Article • December 2004, De Gruyter

    Professor Volker Halbach

  32. Principles of Truth

    Article • December 2003, De Gruyter

    Professor Volker Halbach

  33. Preface

    Article • December 2003, De Gruyter

    Professor Volker Halbach

  34. Modalized Disquotationalism

    Article • December 2003, De Gruyter

    Professor Volker Halbach

  35. `Contemporary Methods for Investigating the Concept of Truth – An Introduction

    Article • December 2003, De Gruyter

    Professor Volker Halbach

  36. Benedikt Löwe and Philip Welch. Set-theoretic absoluteness and the revision theory. Studia Logica, vol. 68 (2001), pp. 21–41. - Benedikt Löwe. Revision sequences and computers with an infinite amount of time. Journal of Logic and Computati...

    Article • Bulletin of Symbolic Logic, June 2003, Cambridge University Press

    Professor Volker Halbach

  37. Possible-Worlds Semantics for Modal Notions Conceived as Predicates

    Article • Journal of Philosophical Logic, April 2003, Springer Science + Business Media

    Professor Volker Halbach

  38. Can we Grasp Consistency?

    Article • January 2003, Springer Science + Business Media

    Professor Volker Halbach

  39. Induction Rules, Reflection Principles, and Provably Recursive Functions

    Article • Bulletin of Symbolic Logic, June 2002, Cambridge University Press

    Professor Volker Halbach

  40. Lev D. Beklemishev. Induction rules, reflection principles, and provably recursive functions. Annals of pure and applied logic, vol. 85 (1997), pp. 193–242.

    Article • Bulletin of Symbolic Logic, June 2002, Cambridge University Press

    Professor Volker Halbach

  41. Disquotational truth and analyticity

    Article • Journal of Symbolic Logic, December 2001, Cambridge University Press

    Professor Volker Halbach

  42. Two Proof-Theoretic Remarks on EA + ECT

    Article • Mathematical Logic Quarterly, October 2000, Wiley

    Professor Volker Halbach

  43. Tarskian and Kripkean truth

    Article • Journal of Philosophical Logic, February 1997, Springer Science + Business Media

    Professor Volker Halbach

  44. Tarski hierarchies

    Article • Erkenntnis, November 1995, Springer Science + Business Media

    Professor Volker Halbach

  45. A System of Complete and Consistent Truth

    Article • Notre Dame Journal of Formal Logic, July 1994, Duke University Press

    Professor Volker Halbach

  46. Tarski

    Article • Cambridge University Press

    Professor Volker Halbach

  47. Deflationism

    Article • Cambridge University Press

    Professor Volker Halbach

  48. Bibliography

    Article • Cambridge University Press

    Professor Volker Halbach

  49. Classical Symmetric Truth

    Article • De Gruyter

    Professor Volker Halbach

  50. Objects of truth

    Article • Cambridge University Press

    Professor Volker Halbach

  51. Axiomatizing Kripke's theory in partial logic

    Article • Cambridge University Press

    Professor Volker Halbach

  52. Grounded truth

    Article • Cambridge University Press

    Professor Volker Halbach

  53. Classical logic

    Article • Cambridge University Press

    Professor Volker Halbach

  54. Alternative evaluation schemata

    Article • Cambridge University Press

    Professor Volker Halbach

  55. Axioms and rules

    Article • Cambridge University Press

    Professor Volker Halbach