Grabmayr, Balthasar; Halbach, Volker; Ye, Lingyuan Varieties of self-reference in metamathematics. (English) Zbl 07721414 J. Philos. Log. 52, No. 4, 1005-1052 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{B. Grabmayr} et al., J. Philos. Log. 52, No. 4, 1005--1052 (2023; Zbl 07721414) Full Text: DOI
Halbach, Volker; Nicolai, Carlo On the costs of nonclassical logic. (English) Zbl 1436.03167 J. Philos. Log. 47, No. 2, 227-257 (2018). MSC: 03B60 03A05 PDFBibTeX XMLCite \textit{V. Halbach} and \textit{C. Nicolai}, J. Philos. Log. 47, No. 2, 227--257 (2018; Zbl 1436.03167) Full Text: DOI Link
Cantini, Andrea; Fujimoto, Kentaro; Halbach, Volker Feferman and the truth. (English) Zbl 1429.03190 Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 287-314 (2017). MSC: 03F03 03F25 03F35 03F40 PDFBibTeX XMLCite \textit{A. Cantini} et al., Outst. Contrib. Log. 13, 287--314 (2017; Zbl 1429.03190) Full Text: DOI
Fischer, Martin; Halbach, Volker; Kriener, Jönne; Stern, Johannes Axiomatizing semantic theories of truth? (English) Zbl 1350.03009 Rev. Symb. Log. 8, No. 2, 257-278 (2015). Reviewer: Branislav Boričić (Beograd) MSC: 03A05 PDFBibTeX XMLCite \textit{M. Fischer} et al., Rev. Symb. Log. 8, No. 2, 257--278 (2015; Zbl 1350.03009) Full Text: DOI
Halbach, Volker; Visser, Albert The Henkin sentence. (English) Zbl 1347.03002 Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 249-263 (2014). MSC: 03-03 03A05 03F40 03F45 01A60 PDFBibTeX XMLCite \textit{V. Halbach} and \textit{A. Visser}, in: The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer. 249--263 (2014; Zbl 1347.03002) Full Text: DOI
Halbach, Volker Reducing compositional to disquotational truth. (English) Zbl 1188.03004 Rev. Symb. Log. 2, No. 4, 786-798 (2009). Reviewer: Branislav Boričić (Beograd) MSC: 03A05 03F30 PDFBibTeX XMLCite \textit{V. Halbach}, Rev. Symb. Log. 2, No. 4, 786--798 (2009; Zbl 1188.03004) Full Text: DOI
Halbach, Volker; Horsten, Leon Axiomatizing Kripke’s theory of truth. (English) Zbl 1101.03005 J. Symb. Log. 71, No. 2, 677-712 (2006). Reviewer: Branislav Boričić (Beograd) MSC: 03A05 03F03 PDFBibTeX XMLCite \textit{V. Halbach} and \textit{L. Horsten}, J. Symb. Log. 71, No. 2, 677--712 (2006; Zbl 1101.03005) Full Text: DOI
Halbach, Volker; Leitgeb, Hannes; Welch, Philip Possible-worlds semantics for modal notions conceived as predicates. (English) Zbl 1031.03041 J. Philos. Log. 32, No. 2, 179-223 (2003). Reviewer: Heinrich Wansing (Dresden) MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{V. Halbach} et al., J. Philos. Log. 32, No. 2, 179--223 (2003; Zbl 1031.03041) Full Text: DOI
Halbach, Volker Tarskian and Kripkean truth. (English) Zbl 0869.03004 J. Philos. Log. 26, No. 1, 69-80 (1997). Reviewer: L.Löfgren (Lund) MSC: 03A05 PDFBibTeX XMLCite \textit{V. Halbach}, J. Philos. Log. 26, No. 1, 69--80 (1997; Zbl 0869.03004) Full Text: DOI
Halbach, Volker A system of complete and consistent truth. (English) Zbl 0828.03030 Notre Dame J. Formal Logic 35, No. 3, 311-327 (1994). Reviewer: M.Yasuhara (Princeton) MSC: 03F30 03B30 PDFBibTeX XMLCite \textit{V. Halbach}, Notre Dame J. Formal Logic 35, No. 3, 311--327 (1994; Zbl 0828.03030) Full Text: DOI