FMLtoHOL

MaRDI QIDQ33346swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-642-45221-5_9

Described by source

• HOL Based First-Order Modal Logic Provers

Cited in

(13)

• Extensional higher-order paramodulation in Leo-III
• LoTREC
• QMLTP
• GQML
• MetTeL
• AgsyHOL
• LeoPARD
• MSPASS
• MleanCoP
• nanoCoP
• embed_modal
• Higher-order modal logics: automation and applications
• Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics

This page was built for software: FMLtoHOL