embed_modal
From MaRDI portal
Software:40018
No author found.
Source code repository: https://github.com/leoprover/embed_modal
Related Items (6)
Extensional higher-order paramodulation in Leo-III ⋮ Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support ⋮ 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} ⋮ Local reductions for the modal cube
This page was built for software: embed_modal
