Volker Halbach

Available identifiers

zbMath Open halbach.volkerMaRDI QIDQ175245

List of research outcomes

Publication	Date of Publication	Type
The substitutional analysis of logical consequence	2024-04-30	Paper
CLASSICAL DETERMINATE TRUTH I	2024-04-05	Paper
Varieties of self-reference in metamathematics	2023-08-02	Paper
Formal notes on the substitutional analysis of logical consequence	2020-07-20	Paper
Feferman and the Truth	2020-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q5230814	2019-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q5224692	2019-07-24	Paper
Yablo Without Gödel	2018-10-16	Paper
On the costs of nonclassical logic	2018-05-28	Paper
The Henkin Sentence	2015-11-27	Paper
AXIOMATIZING SEMANTIC THEORIES OF TRUTH?	2015-06-29	Paper
SELF-REFERENCE IN ARITHMETIC I	2015-03-02	Paper
SELF-REFERENCE IN ARITHMETIC II	2015-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q3005147	2011-06-07	Paper
REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH	2010-01-21	Paper
On a side effect of solving Fitch's paradox by typing knowledge	2008-08-21	Paper
How not to state T-sentences	2007-06-14	Paper
Axiomatizing Kripke's theory of truth	2006-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q5711928	2005-12-08	Paper
Computational Structuralism†	2005-09-28	Paper
Possible-worlds semantics for modal notions conceived as predicates	2003-06-09	Paper
Disquotational truth and analyticity	2003-01-13	Paper
Editorial introduction	2002-04-21	Paper
How innocent is deflationism?	2002-03-12	Paper
Two Proof-Theoretic Remarks on EA + ECT	2001-07-16	Paper
Truth and reduction	2001-02-22	Paper
On Lehrer's principle of trustworthiness	2001-01-14	Paper
Conservative theories of classical truth	2000-02-15	Paper
Tarskian and Kripkean truth	1997-09-02	Paper
A system of complete and consistent truth	1995-12-18	Paper

Research outcomes over time

This page was built for person: Volker Halbach