| Publication | Date of Publication | Type |
|---|
The substitutional analysis of logical consequence
Nôus | 2024-04-30 | Paper |
CLASSICAL DETERMINATE TRUTH I
Journal of Symbolic Logic | 2024-04-05 | Paper |
Varieties of self-reference in metamathematics
Journal of Philosophical Logic | 2023-08-02 | Paper |
Formal notes on the substitutional analysis of logical consequence
Notre Dame Journal of Formal Logic | 2020-07-20 | Paper |
Formal notes on the substitutional analysis of logical consequence
Notre Dame Journal of Formal Logic | 2020-07-20 | Paper |
Feferman and the Truth
Outstanding Contributions to Logic | 2020-02-05 | Paper |
| The logic manual | 2019-08-28 | Paper |
| scientific article; zbMATH DE number 7084954 (Why is no real title available?) | 2019-07-24 | Paper |
Yablo without Gödel
Analysis | 2018-10-16 | Paper |
On the costs of nonclassical logic
Journal of Philosophical Logic | 2018-05-28 | Paper |
The Henkin sentence
Studies in Universal Logic | 2015-11-27 | Paper |
Axiomatizing semantic theories of truth?
The Review of Symbolic Logic | 2015-06-29 | Paper |
Self-reference in arithmetic. I
The Review of Symbolic Logic | 2015-03-02 | Paper |
Self-reference in arithmetic. II
The Review of Symbolic Logic | 2015-03-02 | Paper |
| Axiomatic theories of truth | 2011-06-07 | Paper |
Reducing compositional to disquotational truth
The Review of Symbolic Logic | 2010-01-21 | Paper |
On a side effect of solving Fitch's paradox by typing knowledge
Analysis | 2008-08-21 | Paper |
How not to state T-sentences
Analysis | 2007-06-14 | Paper |
Axiomatizing Kripke's theory of truth
Journal of Symbolic Logic | 2006-08-03 | Paper |
| scientific article; zbMATH DE number 2236676 (Why is no real title available?) | 2005-12-08 | Paper |
Computational Structuralism†
Philosophia Mathematica | 2005-09-28 | Paper |
Possible-worlds semantics for modal notions conceived as predicates
Journal of Philosophical Logic | 2003-06-09 | Paper |
Disquotational truth and analyticity
Journal of Symbolic Logic | 2003-01-13 | Paper |
Editorial introduction
Studia Logica | 2002-04-21 | Paper |
How innocent is deflationism?
Synthese | 2002-03-12 | Paper |
| Two Proof-Theoretic Remarks on EA + ECT | 2001-07-16 | Paper |
Truth and reduction
Erkenntnis | 2001-02-22 | Paper |
On Lehrer's principle of trustworthiness
Erkenntnis | 2001-01-14 | Paper |
Conservative theories of classical truth
Studia Logica | 2000-02-15 | Paper |
Tarskian and Kripkean truth
Journal of Philosophical Logic | 1997-09-02 | Paper |
A system of complete and consistent truth
Notre Dame Journal of Formal Logic | 1995-12-18 | Paper |
