Antonella Bilotta

Orcid: 0009-0005-6263-8717

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light.

[DOI]

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025

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

[DOI]

CoRR, June, 2025

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

[DOI]

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

2024

Growing HOLMS, a HOL Light Library for Modal Systems.

[DOI]

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