An Agda Implementation of the Modal Logic S4.2: First Investigations. - Riccardo Borsetto; Margherita Zorzi (ICTCS, 2025)