×

zbMATH — the first resource for mathematics

Halbach, Volker

Compute Distance To:
Author ID: halbach.volker Recent zbMATH articles by "Halbach, Volker"
Published as: Halbach, Volker
Documents Indexed: 30 Publications since 1994, including 2 Books
Reviewing Activity: 20 Reviews

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 232 times in 127 Documents Cited by Year
Axiomatic theories of truth. Zbl 1223.03001
Halbach, Volker
65
2011
Axiomatizing Kripke’s theory of truth. Zbl 1101.03005
Halbach, Volker; Horsten, Leon
29
2006
A system of complete and consistent truth. Zbl 0828.03030
Halbach, Volker
24
1994
Axiomatizing semantic theories of truth? Zbl 1350.03009
Fischer, Martin; Halbach, Volker; Kriener, Jönne; Stern, Johannes
13
2015
Reducing compositional to disquotational truth. Zbl 1188.03004
Halbach, Volker
12
2009
Self-reference in arithmetic. I. Zbl 1337.03008
Halbach, Volker; Visser, Albert
10
2014
Truth and reduction. Zbl 0971.03008
Halbach, Volker
10
2000
Possible-worlds semantics for modal notions conceived as predicates. Zbl 1031.03041
Halbach, Volker; Leitgeb, Hannes; Welch, Philip
10
2003
Self-reference in arithmetic. II. Zbl 1337.03009
Halbach, Volker; Visser, Albert
9
2014
Conservative theories of classical truth. Zbl 0930.03086
Halbach, Volker
9
1999
How innocent is deflationism? Zbl 0980.03004
Halbach, Volker
9
2001
Disquotational truth and analyticity. Zbl 1002.03007
Halbach, Volker
6
2001
Computational structuralism. Zbl 1078.03007
Halbach, Volker; Horsten, Leon
5
2005
How not to state \(T\)-sentences. Zbl 1149.03007
Halbach, Volker
4
2006
On a side effect of solving Fitch’s paradox by typing knowledge. Zbl 1152.03007
Halbach, Volker
4
2008
The Henkin sentence. Zbl 1347.03002
Halbach, Volker; Visser, Albert
3
2014
On the costs of nonclassical logic. Zbl 1436.03167
Halbach, Volker; Nicolai, Carlo
3
2018
Yablo without Gödel. Zbl 1397.03009
Halbach, Volker; Zhang, Shuoying
2
2017
Two proof-theoretic remarks on EA+ECT. Zbl 0964.03062
Halbach, Volker; Horsten, Leon
1
2000
Possible worlds semantics for predicates. Zbl 1096.03017
Halbach, Volker; Leitgeb, Hannes; Welch, Philip
1
2005
Tarskian and Kripkean truth. Zbl 0869.03004
Halbach, Volker
1
1997
Editorial introduction. Zbl 0983.03028
Halbach, Volker
1
2001
Feferman and the truth. Zbl 1429.03190
Cantini, Andrea; Fujimoto, Kentaro; Halbach, Volker
1
2017
On the costs of nonclassical logic. Zbl 1436.03167
Halbach, Volker; Nicolai, Carlo
3
2018
Yablo without Gödel. Zbl 1397.03009
Halbach, Volker; Zhang, Shuoying
2
2017
Feferman and the truth. Zbl 1429.03190
Cantini, Andrea; Fujimoto, Kentaro; Halbach, Volker
1
2017
Axiomatizing semantic theories of truth? Zbl 1350.03009
Fischer, Martin; Halbach, Volker; Kriener, Jönne; Stern, Johannes
13
2015
Self-reference in arithmetic. I. Zbl 1337.03008
Halbach, Volker; Visser, Albert
10
2014
Self-reference in arithmetic. II. Zbl 1337.03009
Halbach, Volker; Visser, Albert
9
2014
The Henkin sentence. Zbl 1347.03002
Halbach, Volker; Visser, Albert
3
2014
Axiomatic theories of truth. Zbl 1223.03001
Halbach, Volker
65
2011
Reducing compositional to disquotational truth. Zbl 1188.03004
Halbach, Volker
12
2009
On a side effect of solving Fitch’s paradox by typing knowledge. Zbl 1152.03007
Halbach, Volker
4
2008
Axiomatizing Kripke’s theory of truth. Zbl 1101.03005
Halbach, Volker; Horsten, Leon
29
2006
How not to state \(T\)-sentences. Zbl 1149.03007
Halbach, Volker
4
2006
Computational structuralism. Zbl 1078.03007
Halbach, Volker; Horsten, Leon
5
2005
Possible worlds semantics for predicates. Zbl 1096.03017
Halbach, Volker; Leitgeb, Hannes; Welch, Philip
1
2005
Possible-worlds semantics for modal notions conceived as predicates. Zbl 1031.03041
Halbach, Volker; Leitgeb, Hannes; Welch, Philip
10
2003
How innocent is deflationism? Zbl 0980.03004
Halbach, Volker
9
2001
Disquotational truth and analyticity. Zbl 1002.03007
Halbach, Volker
6
2001
Editorial introduction. Zbl 0983.03028
Halbach, Volker
1
2001
Truth and reduction. Zbl 0971.03008
Halbach, Volker
10
2000
Two proof-theoretic remarks on EA+ECT. Zbl 0964.03062
Halbach, Volker; Horsten, Leon
1
2000
Conservative theories of classical truth. Zbl 0930.03086
Halbach, Volker
9
1999
Tarskian and Kripkean truth. Zbl 0869.03004
Halbach, Volker
1
1997
A system of complete and consistent truth. Zbl 0828.03030
Halbach, Volker
24
1994
all top 5

Cited by 83 Authors

9 Halbach, Volker
9 Nicolai, Carlo
7 Stern, Johannes
6 Fischer, Martin J.
6 Leigh, Graham Emil
6 Łełyk, Mateusz
6 Picollo, Lavinia María
6 Wcisło, Bartosz
5 Cieśliński, Cezary
5 Fujimoto, Kentaro
5 Leitgeb, Hannes
4 Horsten, Leon
4 Schindler, Thomas
4 Visser, Albert
3 Barrio, Eduardo Alejandro
3 Dean, Walter
3 Meadows, Toby
3 Rossi, Lorenzo Paolo
2 Cantini, Andrea
2 Da Ré, Bruno
2 Enayat, Ali
2 Fjellstad, Andreas
2 Heck, Richard Kimberly
2 Hsiung, Ming
2 Korbmacher, Johannes
2 Piazza, Mario
2 Pulcini, Gabriele
2 Rathjen, Michael
2 Rivello, Edoardo
2 Speranski, Stanislav O.
2 Welch, Philip D.
1 Bacon, Andrew
1 Buldt, Bernd
1 Caret, Colin R.
1 Carrara, Massimiliano
1 Chase, James Kennedy
1 Cheng, Yong
1 Christensen, Ryan
1 Eberhard, Sebastian
1 Eder, Günther
1 Farmer, William M.
1 Feferman, Solomon
1 Field, Hartry H.
1 Florio, Salvatore
1 French, Rohan
1 Glanzberg, Michael
1 Gnani, Giuliana
1 Grabmayr, Balthasar
1 Gratzl, Norbert
1 Gupta, Anil Kumar
1 Humberstone, Lloyd
1 Ketland, Jeffrey
1 Kriener, Jönne
1 Kripke, Saul A.
1 Kurahashi, Taishi
1 Kurokawa, Hidenori
1 Litak, Tadeusz
1 Martino, Enrico
1 Mazzanti, Giuliano
1 McGee, Vann
1 Nicolas, David
1 Olsen, Jan-Fredrik
1 Pakhomov, Fedor N.
1 Pawłowski, Paweł
1 Plebani, Matteo
1 Pollard, Stephen K.
1 Pollock, Samantha
1 Rin, Benjamin G.
1 Ripley, David
1 Rosenblatt, Lucas Daniel
1 Schatz, Jeffrey R.
1 Standefer, Shawn
1 Terzian, Giulia
1 Tucker, Dustin
1 Wainer, Stanley Scott
1 Walsh, Sean
1 Weaver, Christopher Gregory
1 Weber, Zach
1 Weir, Alan
1 Whittle, Bruno
1 Wilkie, Alex James
1 Woleński, Jan
1 Zardini, Elia

Citations by Year