GoedelGod

swMATH32223MaRDI QIDQ43934FDOQ43934

Author name not available (Why is that?)

Described by source

• On logic embeddings and Gödel's God

Cited In (6)

• Para-disagreement logics and their implementation through embedding in Coq and SMT
• 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
• 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