The following pages link to (Q3457212):
Displayed 9 items.
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Reducing higher-order theorem proving to a sequence of SAT problems (Q2351156) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- Interacting with Modal Logics in the Coq Proof Assistant (Q3194730) (← links)
- Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (Q3455772) (← links)
- From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)
- Solving modal logic problems by translation to higher-order logic (Q6139085) (← links)