HOL Provers for First-order Modal Logics --- Experiments
Christoph Benzmüller · EPiC series in computing · 2018
Higher-order automated theorem provers have been employed to automate first-order modal logics. Extending previous work, an experiment has been carried out to evaluate their collaborative and individual performances.