FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends

Christoph Benzmueller, Thomas Raths

A converter from first-order modal logics to classical higher- order logic is presented. This tool enables the application of off-the-shelf higher-order theorem provers and model f…