Download PDFOpen PDF in browserHOL Provers for First-order Modal Logics --- Experiments5 pages•Published: December 14, 2015AbstractHigher-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.Keyphrases: experiments, first-order modal logics, higher-order automated theorem provers In: Christoph Benzmüller and Jens Otten (editors). ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics, vol 33, pages 37--41
|