Pages that link to "Item:Q2970308"
From MaRDI portal
The following pages link to Higher-Order Modal Logics: Automation and Applications (Q2970308):
Displaying 5 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Variants of Gödel's ontological proof in a natural deduction calculus (Q2363503) (← links)
- Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT (Q3305339) (← links)
- Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (Q3455772) (← links)
- (Q5091146) (← links)
