The following pages link to (Q3457212):
Displaying 13 items.
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← 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)
- HOL Based First-Order Modal Logic Provers (Q2870120) (← links)
- AVATAR: The Architecture for First-Order Theorem Provers (Q2920991) (← 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)
- (Q3699666) (← links)
- (Q4263154) (← links)
- From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)
