Research


2024. A DEFENCE OF ISAACSON’S THESIS, OR HOW TO MAKE SENSE OF THE BOUNDARIES OF FINITE MATHEMATICS.  Synthese 203, 54. Open Access at https://doi.org/10.1007/s11229-024-04488-0

2023. NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE. (W/ M. FISCHER AND C. NICOLAI) Review of Symbolic Logic 16(2), 425-448, https://doi.org/10.1017/S1755020321000137 Arxiv: arXiv:2007.07188v3


Work submitted

SUPERVALUATION-STYLE TRUTH REVISITED. (W/ C. NICOLAI AND J. STERN) Arxiv: https://arxiv.org/abs/2510.01883

SUPERVALUATIONS, TRUTH, AND INTUITIONISTIC LOGIC. Arxiv: https://arxiv.org/abs/2503.15007

AXIOMATIC THEORIES OF SUPERVALUATIONAL TRUTH. (W/ D. HAYASHI) Arxiv: https://arxiv.org/abs/2410.12471

Work in progress

At the moment, I am working on several projects: the connections between s-valuationist solutions to vagueness and the semantic paradoxes; variants of KF (with Maciej Glowacki); the relation between compositionality and predicativity (with Pietro Brocci); a paper on the indeterminacy of the set concept (with Davide Sutto).