Cited in
(28)- 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
- RuleML
- AFRA
- LoTREC
- QMLTP
- GQML
- MetTeL
- LeoPARD
- MSPASS
- Leo-III
- FMLtoHOL
- MleanCoP
- nanoCoP
- InKreSAT
- DEMO
- SMCDEL
- LegalRuleML
- ArchSAT
- BDDTab
- Lowe_Ontological_Argument
- Nunchaku
- Local is best: efficient reductions to modal logic \textsf{K}
- MOIN
- Theorem provers for every normal modal logic
- LogiKEy
This page was built for software: embed_modal
