embed_modal
From MaRDI portal
Software:40018
swMATH28304MaRDI QIDQ40018FDOQ40018
Author name not available (Why is that?)
Source code repository: https://github.com/leoprover/embed_modal
Cited In (6)
- 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
- Theorem Provers For Every Normal Modal Logic
- Local is best: efficient reductions to modal logic \textsf{K}
This page was built for software: embed_modal
