Goldman, Randolph Rubens Gödel’s property abstraction and possibilism. (English) Zbl 1330.03017 Australas. J. Log. 11, No. 2, 114-145 (2014). MSC: 03A05 03B45 03B15 PDF BibTeX XML Cite \textit{R. R. Goldman}, Australas. J. Log. 11, No. 2, 114--145 (2014; Zbl 1330.03017) Full Text: Link
Fitting, Melvin Types, tableaus, and Gödel’s God. (English) Zbl 1038.03001 Trends in Logic—Studia Logica Library 12. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0604-7/hbk). xv, 180 p. (2002). Reviewer: G. E. Mints (Stanford) MSC: 03-02 03B45 03B15 03F05 03-01 03A05 PDF BibTeX XML Cite \textit{M. Fitting}, Types, tableaus, and Gödel's God. Dordrecht: Kluwer Academic Publishers (2002; Zbl 1038.03001)
Oppy, Graham Response to Gettings. (English) Zbl 0968.03519 Analysis, Oxf. 60, No. 4, 363-367 (2000). MSC: 03A05 PDF BibTeX XML Cite \textit{G. Oppy}, Analysis, Oxf. 60, No. 4, 363--367 (2000; Zbl 0968.03519) Full Text: DOI
Anderson, C. Anthony; Gettings, Michael Gödel’s ontological proof revisited. (English) Zbl 0855.03005 Hájek, Petr (ed.), Gödel ’96. Logical foundations of mathematics, computer science and physics – Kurt Gödel’s legacy. Proceedings of a conference, Brno, Czech Republic, August 1996. Berlin: Springer-Verlag. Lect. Notes Log. 6, 167-172 (1996). MSC: 03A05 PDF BibTeX XML Cite \textit{C. A. Anderson} and \textit{M. Gettings}, Lect. Notes Log. 6, 167--172 (1996; Zbl 0855.03005)