Riccardo Borsetto

According to our database, Riccardo Borsetto authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

NAMOR: a New Agda Library for Modal Extended Sequents.

Riccardo Borsetto, Margherita Zorzi

Proceedings of the Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, 2025

An Agda Implementation of the Modal Logic S4.2: First Investigations.

Riccardo Borsetto, Margherita Zorzi

Proceedings of the 26th Italian Conference on Theoretical Computer Science, 2025