On Gödel's ontological proof

[1]  J. Dunn,et al.  Relevant predication 2: Intrinsic properties and internal relations , 1990 .

[2]  R. Carnap.  Logical Syntax of Language , 1937 .

[3]  Robert Merrihew Adams,et al.  Leibniz: Determinist, Theist, Idealist , 1994 .

[4]  James E. Tomberlin,et al.  On the Plurality of Worlds. , 1989 .

[5]  Daniel Gallin,et al.  Intensional and Higher-Order Modal Logic , 1975 .

[6]  Kit Fine.  Model theory for modal logic—part II the elimination of De re modality , 1978, J. Philos. Log..

[7]  J. Michael Dunn,et al.  Relevant predication 1: The formal theory , 1987, J. Philos. Log..

[8]  Max J. Cresswell.  The Elimination of De Re Modalities , 1969, J. Symb. Log..

[9]  D. Lewis,et al.  New work for a theory of universals , 1983 .

[10]  Saul Kripke.  Review: Kit Fine, Model Theory for Modal Logic. Part I--the de Re/De Dicto Distinction; Kit Fine, Model Theory for Modal Logic--Part II. The Elimination of de re Modality; Kit Fine, Model Theory for Modal Logic--Part III. Existence and Predication , 1985 .

[11]  Terence Parsons,et al.  Essentialism and Quantified Modal Logic , 1969 .

[12]  A. Bressan.  A general interpreted modal calculus , 1972 .

[13]  A. Anderson,et al.  Some Emendations of Gödel's Ontological Proof , 1990 .

[14]  Saul A. Kripke,et al.  Naming and Necessity , 1980 .

[15]  Alan Sidelle,et al.  Necessity, Essence, and Individuation: A Defense of Conventionalism , 1989 .

[16]  David Lewis.  Counterpart Theory and Quantified Modal Logic , 1968 .

[17]  Benson Mates,et al.  The Philosophy of Leibniz , 1986 .