Kanckos, Annika; Lethen, Tim The development Of Gödel’s ontological proof. (English) Zbl 1517.03017 Rev. Symb. Log. 14, No. 4, 1011-1029 (2021). MSC: 03B45 03B16 01A60 03-03 PDFBibTeX XMLCite \textit{A. Kanckos} and \textit{T. Lethen}, Rev. Symb. Log. 14, No. 4, 1011--1029 (2021; Zbl 1517.03017) Full Text: DOI
Kanckos, Annika; Woltzenlogel Paleo, B. Variants of Gödel’s ontological proof in a natural deduction calculus. (English) Zbl 1417.03153 Stud. Log. 105, No. 3, 553-586 (2017). MSC: 03B45 03F03 03A05 PDFBibTeX XMLCite \textit{A. Kanckos} and \textit{B. Woltzenlogel Paleo}, Stud. Log. 105, No. 3, 553--586 (2017; Zbl 1417.03153) Full Text: DOI Link