GoedelGod
From MaRDI portal
Software:43934
No author found.
Related Items (6)
Variants of Gödel's ontological proof in a natural deduction calculus ⋮ Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics ⋮ Unnamed Item ⋮ Interacting with Modal Logics in the Coq Proof Assistant ⋮ Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument ⋮ Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT
This page was built for software: GoedelGod
