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

Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi

Browse the full CSL paper archive.