Publications
GL-based calculi for PCL and its deontic cousin (with A. Ciabattoni and D. Rozplokhas), accepted for publication in the proceedings of JELIA 2025.
Exception and typicality, logically framed (with M. Piazza), Journal of logic, language and information, 2025.
Inside Classical Logic: Truth, Contradictions, Fractionality (with M. Piazza), Studia Logica, 2025.
A Proof Calculus for Ethical Reasoning (with H. Gao, E. Lorini and N. Olivetti), Proceedings of PRIMA 2024, 2024.
Subintuitionistic logics and their modal companions: a nested approach, Journal of Applied Non-Classical Logics, 2024.
Sequents vs hypersequents for Aqvist systems (with A. Ciabattoni), in (eds.) C. Benzmüller, M. J.H. Heule, R. A. Schmidt, Automated Reasoning, proceedings of IJCAR, 2024.
Analytic calculi with extralogical information (with M. Piazza), accepted for publication in the Journal of Logic and Computation, 2024.
A syntactic proof of the decidability of first-order monadic logic (with E. Orlandelli), Bulletin of the Section of Logic, 2024.
Constructive theories through a modal lens, Logic Journal of the IGPL, 2024.
Infinitary logics with infinite sequents: syntactic investigations, Mathematical Logic Quarterly, https://doi.org/10.1002/malq.202300011, 2023.
Fractional valued modal logic and soft bilateralism (with M. Piazza and G. Pulcini), Bulletin of the Section of Logic special issue on Bilateralism and Proof Theoretic Semantics, pp. 1-25, DOI: https://doi.org/10.18778/0138-0680.2023.17, 2023
Linear logic in a refutational setting (with M. Piazza and G. Pulcini), Journal of Logic and Computation, pp. 1- 25, https://doi.org/10.1093/logcom/exad048, 2023.
The Goedel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions (with S. Negri), Annals of Pure and Applied Logic, 174: 8, 2023.
Non-contractive logics, paradoxes, and cut elimination (with C. Nicolai and M. Piazza), The Review of Symbolic Logic, pp. 1-22, DOI: https://doi.org/10.1017/S1755020323000138, 2023.
Taming bounded depth with nested sequents (with A. Ciabattoni and L. Strassburger), in AIML 2022, in (eds.) D. F. Duque, A. Palmigiano and S. Pinchinat, Proceedings of AIML2022, College Publications, 2022.
Labelled sequent calculi for logics of strict implication (with Eugenio Orlandelli), in D. F. Duque, A. Palmigiano and S. Pinchinat (eds.), Proceedings of AIML2022, College Publications, 2022.
On the proof theory of infinitary modal logic, Studia Logica, 110, pp. 1349–1380, 2022.
Fractional-valued modal logic (with M. Piazza and G. Pulcini), The Review of Symbolic Logic, pp. 1 – 20 DOI: https://doi.org/10.1017/S1755020321000411, 2021.
Neighborhood semantics and labelled calculus for infinitary intuitionistic logic (with S. Negri), Journal of Logic and Computation, 31: 7, pp. 1608–1639, 2021.
Labelled sequent calculi for Lewis’ non-normal modal propositional logics, Studia Logica, 109, pp. 725-757, 2021.
Books
Reasoning with imperfect information in social settings, M. Piazza, M. Tesi, P. Vigiani (eds), Edizioni della Normale, 2025.
Phd thesis
Through and beyond classicality: analyticity, embeddings, infinity, 2023.
Further works
‒ Terminating calculi for intuitionistic logic and universal intermediate logics, draft, 2024.
‒ Infinite proofs and arithmetical truth (with G. Massas, M. Piazza), submitted, 2024.