Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini. Growing HOLMS, a HOL Light Library for Modal Systems. In Daniele Porello, Cosimo Vinci, Matteo Zavatteri, editors, Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024, Bolzano, Italy, November 28-29, 2024. Volume 3904 of CEUR Workshop Proceedings, pages 41-48, CEUR-WS.org, 2024. [doi]
Abstract is missing.