GoedelGod
From MaRDI portal
Cited in
(10)- Para-disagreement logics and their implementation through embedding in Coq and SMT
- Variants of Gödel's ontological proof in a natural deduction calculus
- RuleML
- 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
- scientific article; zbMATH DE number 7178360 (Why is no real title available?)
- Interacting with Modal Logics in the Coq Proof Assistant
This page was built for software: GoedelGod
