Antonella Bilotta

According to our database¹, Antonella Bilotta authored at least 3 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library.

[BibT_eX]

[DOI]

CoRR, June, 2025

A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS.

[BibT_eX]

[DOI]

Proceedings of the 26th Italian Conference on Theoretical Computer Science, 2025

2024

Growing HOLMS, a HOL Light Library for Modal Systems.

[BibT_eX]

[DOI]

Proceedings of the Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, 2024