Leibniz International Proceedings in Informatics (LIPIcs),<br/>

Volume 193, pp. 26:1-26:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)<br/>

DOI:[10.4230/LIPIcs.ITP.2021.26](https://doi.org/10.4230/LIPIcs.ITP.2021.26) (Open access)

- Marco Maggesi, Cosimo Perini Brogi (2023)<br/>

***Mechanising Gödel–Löb Provability Logic in HOL Light***.<br/>

J Autom Reasoning 67, 29. DOI:[10.1007/s10817-023-09677-z](https://doi.org/10.1007/s10817-023-09677-z) (Open access)

- Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini (2024)<br/>

***Growing HOLMS, a HOL Light Library for Modal Systems***.<br/>

[OVERLAY 2024](https://overlay.uniud.it/workshop/2024/) - 6th International Workshop on Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis <br/>

28 and 29 November, Bolzano (Italy).<br/>

[Download](https://overlay.uniud.it/workshop/2024/papers/paper5.pdf).

CEUR Workshop Proceedings, <br/>

Volume 3904, pp. 41-48, CEUR-WS.org (2024)<br/>

[Download](https://ceur-ws.org/Vol-3904/paper5.pdf) (Open access)

- Antonella Bilotta (2025)<br/>

***Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library***.<br/>

Master’s Thesis, Università degli Studi di Firenze, Firenze (Italy).<br/>

[Download (arXiv:2506.10048)](https://arxiv.org/abs/2506.10048) (Open access)

- Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi (2025)<br/>

***Growing a Modular Framework for Modal Systems: HOLMS.***.<br/>

[WiL 2025](https://sites.google.com/view/wil2025/home) - 9th Women in Logic Workshop <br/>

14 July, Birmingham (United Kingdom).<br/>

Book of Abstract of Women in Logic 2025, pp. 7-11. <br/>

[Download](https://liveuclac-my.sharepoint.com/:b:/g/personal/ucacepi_ucl_ac_uk/EewYzhqOjRtGnxw2pPoTCywBoBN5G6LsKNm_DsxknEdiAQ?e=V8YYPC) (Open access)

- Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi (2025)<br/>

***A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS.***.<br/>

[ICTCS 2025](https://ictcs2025.unich.it/) - 26th Italian Conference on Theoretical Computer Science <br/>

September 10-12, 2025, Pescara (Italy).<br/>

CEUR Workshop Proceedings, <br/>

Volume 4039, pp. 154-162, CEUR-WS.org (2025)<br/>

[Download](https://ceur-ws.org/Vol-4039/paper10.pdf) (Open access)

-[Antonella Bilotta](https://github.com/Antonella-Bilotta),University of Florence, Italy

-[Antonella Bilotta](https://github.com/Antonella-Bilotta),Scuola Normale Superiore di Pisa, Italy

-[Marco Maggesi](https://sites.google.com/unifi.it/maggesi/), University of Florence, Italy

-[Cosimo Perini Brogi](https://logicosimo-gitlab-io-logicosimo-ad8371f8e99a5e895c64ff5b4f9ba89.gitlab.io/), IMT School for Advanced Studies Lucca, Italy

- Leonardo Quartini, University of Florence, Italy