embed_modal

MaRDI QIDQ40018swMATHFDO

Official website https://github.com/leoprover/embed_modal

Source code repository https://github.com/leoprover/embed_modal

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