The following pages link to GoedelGod (Q43934):
Displaying 7 items.
- (Q47928) (redirect page) (← links)
- Variants of Gödel's ontological proof in a natural deduction calculus (Q2363503) (← links)
- Interacting with Modal Logics in the Coq Proof Assistant (Q3194730) (← 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)
- Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument (Q5126209) (← links)
- (Q5219925) (← links)