Artifact Open Access Logo

Webpage of HOLMS: A HOL Light Library for Modal Systems Software

Authors Antonella Bilotta , Marco Maggesi , Cosimo Perini Brogi

Document Identifiers

Author Details

Antonella Bilotta
  • Scuola Normale Superiore di Pisa, Italy
Marco Maggesi
  • University of Florence, Italy
Cosimo Perini Brogi
  • IMT School for Advanced Studies Lucca, Italy

Content

Version/Status

  • Content created at: 2024-09-26
  • Status: Active (at the time of publication 2026-02-18)

Cite As Get BibTex

Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi. Webpage of HOLMS: A HOL Light Library for Modal Systems (Software, Project Documentation Website). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.25485

Description

The official website providing an overview of the HOLMS library for modal reasoning within the HOL Light theorem prover.

Subject Classification

Keywords
  • Theorem Proving
  • Modal Logic
  • Proof Assistants
  • Automated Reasoning
  • HOL Light

Related Article

  • Antonella Bilotta, Marco Maggesi, and Cosimo Perini Brogi. A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light. In 34th EACSL Annual Conference on Computer Science Logic (CSL 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 363, pp. 18:1-18:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/LIPIcs.CSL.2026.18

Metrics

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact