Publications
The list below is generated from a BibTeX database in the AMS label style. The section that follows records the status and formal artifacts of each entry.
Bibliography
[BoZo25b]
Borsetto, Riccardo, and Zorzi, Margherita, NAMOR: a New Agda Library for Modal Extended Sequents, in Proceedings of OVERLAY 2025 (7th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis), CEUR Workshop Proceedings Vol-4142, Bologna, pp. 33–40, Published, 2025.
[BoZo25a]
Borsetto, Riccardo, and Zorzi, Margherita, An Agda Implementation of the Modal Logic S4.2: First Investigations, in Proceedings of ICTCS 2025 (26th Italian Conference on Theoretical Computer Science), CEUR Workshop Proceedings Vol-4039, Pescara, pp. 163–168, Published, 2025.
[BFUW26]
Borsetto, Riccardo, Fellin, Giulio, Uustalu, Tarmo, and Wan, Cheng-Syuan, Glivenko’s theorem underneath structure, in CiE 2026 (Computability in Europe), Springer LNCS, Trier, pp. 162–177, Published, 2026.
[BoZo26]
Borsetto, Riccardo, and Zorzi, Margherita, Metamathematics of the Modal Logic S4.2 in the Agda Proof Assistant, Journal of Logic and Computation (2026), Submitted to the Journal of Logic and Computation, 2026.
Status and artifacts
Published
- BFUW26, “Glivenko’s theorem underneath structure”. In CiE 2026 (Computability in Europe), Trier, Springer LNCS volume 16674, pages 162–177, 2026. doi:10.1007/978-3-032-31348-5_11 · formalization · rendered Agda HTML.
- BoZo25b, “NAMOR: a New Agda Library for Modal Extended Sequents”. Published in the Proceedings of OVERLAY 2025 (CEUR Workshop Proceedings Vol-4142), 2025. CEUR paper.
- BoZo25a, “An Agda Implementation of the Modal Logic S4.2: First Investigations”. Published in the Proceedings of ICTCS 2025, 2025. CEUR paper · formalization.
Under review
- BoZo26, “Metamathematics of the Modal Logic S4.2 in the Agda Proof Assistant”. Submitted to the Journal of Logic and Computation, 2026. Formalization.
Reports
Editorial collector for the report from Dagstuhl Seminar 26121, “Proof Systems in Actual Practice: Reasoning and Computation”, Dagstuhl Reports Vol. 16 Issue 3, in production (doi: 10.4230/DagRep.16.3.1, not yet active).