Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi. A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS. In Luca Moscardelli, editor, Proceedings of the 26th Italian Conference on Theoretical Computer Science, Pescara, Italy, September 10-12, 2025. Volume 4039 of CEUR Workshop Proceedings, pages 154-162, CEUR-WS.org, 2025. [doi]
Abstract is missing.