Publications
Publications
Subintuitionistic logics and their modal companions: a nested approach, accepted for publication in the Journal of Applied Non-Classical Logics, 2024.
Sequents vs hypersequents for Aqvist systems (with A. Ciabattoni), accepted for publication in the 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), under contract with Edizioni della Normale.
Phd thesis
Through and beyond classicality: analyticity, embeddings, infinity, 2023.
Further works
‒ Terminating calculi for intuitionistic logic and universal intermediate logics, draft, 2024.
‒ Inside classical logic: truth, contradictions, fractionality (with M. Piazza), submitted, 2024.
‒ The proof theory of a logic for exception and typicality (with M. Piazza), submitted, 2023.