swMATH28304MaRDI QIDQ40018FDOQ40018
Author name not available (Why is that?)
Official website: https://github.com/leoprover/embed_modal
Source code repository: https://github.com/leoprover/embed_modal
Cited In (27)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- Local reductions for the modal cube
- Extensional higher-order paramodulation in Leo-III
- Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments
- AFRA
- LoTREC
- QMLTP
- GQML
- MetTeL
- LeoPARD
- MSPASS
- Leo-III
- FMLtoHOL
- MleanCoP
- nanoCoP
- InKreSAT
- DEMO
- SMCDEL
- LegalRuleML
- ArchSAT
- BDDTab
- Lowe_Ontological_Argument
- LogiKEy
- Nunchaku
- MOIN
- Local is best: efficient reductions to modal logic \textsf{K}
- Theorem provers for every normal modal logic
This page was built for software: embed_modal
