GoedelGod

swMATH32223MaRDI QIDQ43934FDOQ43934

Author name not available (Why is that?)

Described by source

• On Logic Embeddings and Gödel’s God

Cited In (6)

• Variants of Gödel's ontological proof in a natural deduction calculus
• 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
• 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