Volker Halbach

19 papers Journal 18

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Classical Determinate Truth I. J. Symb. Log. Kentaro Fujimoto, Volker Halbach
2023	J	`jnl`	Varieties of Self-Reference in Metamathematics. J. Philos. Log. Balthasar Grabmayr, Volker Halbach, Lingyuan Ye
2020	J	`jnl`	Formal Notes on the Substitutional Analysis of Logical Consequence. Notre Dame J. Formal Log. Volker Halbach
2018	J	`jnl`	On the Costs of Nonclassical Logic. J. Philos. Log. Volker Halbach, Carlo Nicolai
2015	J	`jnl`	Axiomatizing Semantic Theories of Truth? Rev. Symb. Log. Martin Fischer, Volker Halbach, Jönne Kriener, Johannes Stern
2014	J	`jnl`	Self-Reference in Arithmetic I. Rev. Symb. Log. Volker Halbach, Albert Visser
2014	J	`jnl`	Self-Reference in Arithmetic II. Rev. Symb. Log. Volker Halbach, Albert Visser
2009	J	`jnl`	Reducing Compositional to Disquotational Truth. Rev. Symb. Log. Volker Halbach
2006	J	`jnl`	Axiomatizing Kripke's Theory of Truth. J. Symb. Log. Volker Halbach, Leon Horsten
2005	J	`jnl`	Reflections On Frege And Hilbert. Synth. Bernd Buldt, Volker Halbach, Reinhard Kahle
2003	J	`jnl`	Possible-Worlds Semantics for Modal Notions Conceived as Predicates. J. Philos. Log. Volker Halbach, Hannes Leitgeb, Philip D. Welch
2001	J	`jnl`	Disquotational Truth and Analyticity. J. Symb. Log. Volker Halbach
2001	J	`jnl`	Editorial Introduction. Stud Logica Volker Halbach
2001	J	`jnl`	How Innocent Is Deflationism? Synth. Volker Halbach
2000	J	`jnl`	Two Proof-Theoretic Remarks on EA + ECT. Math. Log. Q. Volker Halbach, Leon Horsten
1999	J	`jnl`	Conservative Theories of Classical Truth. Stud Logica Volker Halbach
1997	J	`jnl`	Tarskian and Kripkean truth. J. Philos. Log. Volker Halbach
1994	J	`jnl`	A System of Complete and Consistent Truth. Notre Dame J. Formal Log. Volker Halbach
1994	—	`—`	Tarski-Hierarchien. Volker Halbach