Growing HOLMS, a HOL Light Library for Modal Systems. - Antonella Bilotta; Marco Maggesi; Cosimo Perini Brogi; Leonardo Quartini (OVERLAY, 2024)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library. - Antonella Bilotta (CoRR, 2025)