| Publication | Date of Publication | Type |
|---|
On logical and scientific strength
Erkenntnis | 2026-04-13 | Paper |
Gaps, gluts, and theoretical equivalence
Synthese | 2026-03-27 | Paper |
A theory of implicit commitment
Synthese | 2026-03-26 | Paper |
On classical determinate truth
The Review of Symbolic Logic | 2026-01-16 | Paper |
Class theory in HYPE
Notre Dame Journal of Formal Logic | 2025-11-01 | Paper |
The dream of recapture
Analysis | 2025-08-21 | Paper |
Non-contractive logics, paradoxes, and multiplicative quantifiers
The Review of Symbolic Logic | 2025-02-07 | Paper |
Supervaluation-Style Truth Revisited
(available as arXiv preprint) | 2025-01-01 | Paper |
Implicit commitment in a general setting
Journal Of Logic And Computation | 2024-11-12 | Paper |
On Classical Determinate Truth
(available as arXiv preprint) | 2024-01-01 | Paper |
Systems for non-reflexive consequence
Studia Logica | 2023-11-17 | Paper |
NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
The Review of Symbolic Logic | 2023-05-26 | Paper |
| Implicit Commitment in a General Setting | 2023-02-06 | Paper |
| Non-contractive logics, Paradoxes, and Multiplicative Quantifiers | 2022-09-23 | Paper |
Hypatia's silence: truth, justification, and entitlement
Nôus | 2022-04-12 | Paper |
Cut elimination for systems of transparent truth with restricted initial sequents
Notre Dame Journal of Formal Logic | 2022-02-14 | Paper |
The implicit commitment of arithmetical theories and its semantic core
Erkenntnis | 2021-11-24 | Paper |
THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
Journal of Symbolic Logic | 2021-07-12 | Paper |
More on Systems of Truth and Predicative Comprehension
Boston Studies in the Philosophy and History of Science | 2020-07-13 | Paper |
Cut elimination for systems of transparent truth with restricted initial sequents
(available as arXiv preprint) | 2020-06-14 | Paper |
Necessary Truths and Supervaluations
From Arithmetic to Metaphysics | 2020-02-03 | Paper |
Iterated reflection over full disquotational truth
Journal Of Logic And Computation | 2018-11-20 | Paper |
Principles for object-linguistic consequence: from logical to irreflexive
Journal of Philosophical Logic | 2018-07-20 | Paper |
On the costs of nonclassical logic
Journal of Philosophical Logic | 2018-05-28 | Paper |
Provably true sentences across axiomatizations of Kripke's theory of truth
Studia Logica | 2018-04-04 | Paper |
Equivalences for truth predicates
The Review of Symbolic Logic | 2017-07-06 | Paper |
Deflationary truth and the ontology of expressions
Synthese | 2017-03-08 | Paper |
A note on typed truth and consistency assertions
Journal of Philosophical Logic | 2016-04-04 | Paper |
Axiomatic truth, syntax and metatheoretic reasoning
The Review of Symbolic Logic | 2014-05-02 | Paper |
