Volker Halbach

According to our database, Volker Halbach authored at least 18 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Varieties of Self-Reference in Metamathematics.

Balthasar Grabmayr, Volker Halbach, Lingyuan Ye

J. Philos. Log., August, 2023

2020

Formal Notes on the Substitutional Analysis of Logical Consequence.

Volker Halbach

Notre Dame J. Formal Log., 2020

2018

On the Costs of Nonclassical Logic.

Volker Halbach, Carlo Nicolai

J. Philos. Log., 2018

2015

Axiomatizing Semantic Theories of Truth?

Martin Fischer, Volker Halbach, Jönne Kriener, Johannes Stern

Rev. Symb. Log., 2015

2014

Self-Reference in Arithmetic II.

Volker Halbach, Albert Visser

Rev. Symb. Log., 2014

Self-Reference in Arithmetic I.

Volker Halbach, Albert Visser

Rev. Symb. Log., 2014

2009

Reducing Compositional to Disquotational Truth.

Volker Halbach

Rev. Symb. Log., 2009

2006

Axiomatizing Kripke's Theory of Truth.

Volker Halbach, Leon Horsten

J. Symb. Log., 2006

2005

Reflections On Frege And Hilbert.

Bernd Buldt, Volker Halbach, Reinhard Kahle

Synth., 2005

2003

Possible-Worlds Semantics for Modal Notions Conceived as Predicates.

Volker Halbach, Hannes Leitgeb, Philip D. Welch

J. Philos. Log., 2003

2001

How Innocent Is Deflationism?

Volker Halbach

Synth., 2001

Editorial Introduction.

Volker Halbach

Stud Logica, 2001

Disquotational Truth and Analyticity.

Volker Halbach

J. Symb. Log., 2001

2000

Two Proof-Theoretic Remarks on EA + ECT.

Volker Halbach, Leon Horsten

Math. Log. Q., 2000

1999

Conservative Theories of Classical Truth.

Volker Halbach

Stud Logica, 1999

1997

Tarskian and Kripkean truth.

Volker Halbach

J. Philos. Log., 1997

1994

Tarski-Hierarchien.

Volker Halbach

PhD thesis, 1994

A System of Complete and Consistent Truth.

Volker Halbach

Notre Dame J. Formal Log., 1994