Published:
2026: Constructive Quantum Logics (with Juan P. Aguilera), Proceedings of the Royal Society A, Vol. 482, Issue 2334.
2024: Duality and Infinity, PhD Dissertation, University of California, Berkeley. Awarded the Beth Dissertation Prize 2025 for Outstanding Dissertation in Logic, Language and Information.
2024: Goldblatt-Thomason Theorems for Fundamental (Modal) Logic, Accepted in Advances in Modal Logic, Vol.15.
2023: Totality, Regularity and Cardinality in Probability Theory (with Paolo Mancosu), Accepted in Philosophy of Science.
2023: A Semi-Constructive Approach to the Hyperreal Line, Australasian Journal of Logic, Vol. 20 No 3.
2023: B-frame Duality. Annals of Pure and Applied Logic, Vol.174, Issue 5. (Preprint)
2022: Choice-Free de Vries Duality, Advances in Modal Logic, Vol. 14.
2021: Bolzano's Mathematical Infinite (with Anna Bellomo), The Review of Symbolic Logic.
2016: Possibility Spaces, Q-completions and Rasiowa-Sikorski Lemmas for Non-Classical Logics, Master's Thesis, University of Amsterdam, ILLC Publications.
Under review:
Orthologic and the Open Future.
Infinite Proofs and Arithmetical Truth (with Mario Piazza and Matteo Tesi).
Priestley Duality and Bounded Lattices.
Conditionals and Modalities in Constructive Quantum Logics (with Juan P. Aguilera).
In preparation:
Model Theory for Possibility Structures.
Duality for Fundamental Logic.
Infinitesimal Credences without the Axiom of Choice.
Fundamental Logic through the Lens of Modality (with Wes Holliday).
On Two Non-Cantorian Intuitions in Bolzano's Philosophy of the Infinite.
Alternatives to Possible Worlds Semantics (with Vit Puncochar), Modal Logic Today: a Handbook.