The following pages link to embed_modal (Q40018):
Displaying 6 items.
- Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
- Local reductions for the modal cube (Q2104538) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments (Q3305694) (← links)
- Theorem Provers For Every Normal Modal Logic (Q4645724) (← links)