QMLTP
From MaRDI portal
swMATH9915MaRDI QIDQ21894FDOQ21894
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-31365-3_35
Cited In (28)
- Local reductions for the modal cube
- HOL Based First-Order Modal Logic Provers
- Extensional higher-order paramodulation in Leo-III
- Implementing and evaluating provers for first-order modal logics
- The QMLTP problem library for first-order modal logics
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics
- ILTP
- LoTREC
- GQML
- linTAP
- llprover
- MetTeL
- ModLeanTAP
- AgsyHOL
- LeoPARD
- MSPASS
- FMLtoHOL
- MleanCoP
- nanoCoP
- embed_modal
- Higher-order modal logics: automation and applications
- ILLTP
- Sympli
- There is no best \(\beta \)-normalization strategy for higher-order reasoners
- The ILLTP library for intuitionistic linear logic
- The higher-order prover Leo-III
- MleanCoP: a connection prover for first-order modal logic
- Theorem provers for every normal modal logic
This page was built for software: QMLTP
