Pages that link to "Item:Q4645724"
From MaRDI portal
The following pages link to Theorem Provers For Every Normal Modal Logic (Q4645724):
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)
- Non-classical logics in satisfiability modulo theories (Q6541143) (← links)
