Pages that link to "Item:Q2908515"
From MaRDI portal
The following pages link to The QMLTP Problem Library for First-Order Modal Logics (Q2908515):
Displaying 4 items.
- Local reductions for the modal cube (Q2104538) (← links)
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
