1. ANDERSON, C.A., ‘Some Emendations of Gödel’s Ontological Proof’, Faith and Philosophy 7 (1990), 291–303.
2. ANDERSON, C.A., AND M. GETTINGS, ‘Gödel’s Ontological Proof Revisited’, in P. Hájek, (ed.), Gödel’96, Springer, Berlin, 1996, pp. 167–172.
3. CARNAP, R., Meaning and necessity, a study in semantics and modal logic, University of Chicago Press, Chicago, 1947.
4. CARNAP, R., ‘Replies and Systematic Expositions’, in P.A. Schilpp, (ed.), The Philosophy of Rudolf Carnap, vol. 11 of Library of Living Philosophers, Cambridge University Press, London, 1986, pp. 859–999.
5. Fitting, M.C., Types, Tableaus, and Gödel’s God, Kluwer Academic Publishers, Dordrecht/Boston/London, 2002.