FMLtoHOL

swMATH21539MaRDI QIDQ33346FDOQ33346

Author name not available (Why is that?)

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