swMATH32223MaRDI QIDQ43934FDOQ43934
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/GoedelGod.html
Cited In (9)
- Para-disagreement logics and their implementation through embedding in Coq and SMT
- Variants of Gödel's ontological proof in a natural deduction calculus
- AgsyHOL
- Gen2sat
- intuit
- Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel's ontological argument
- Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics
- Title not available (Why is that?)
- Interacting with Modal Logics in the Coq Proof Assistant
This page was built for software: GoedelGod
