REFERENCES
- Adams , Robert M. 1994 . Leibniz: determinist, theist, idealist , New York : Oxford University Press .
- Adams , Robert M. Introduction to Gödel [11] in Gödel [12]
- Anderson , Alan Ross and Belnap , Nuel D. 1975 . Entailment , Vol. I , Princeton : Princeton University Press .
- Anderson , C. Anthony . 1990 . Some emendations of Gödel's ontological proof . Faith and Philosophy , 7 : 291 – 303 .
- Bressan , Aldo . 1972 . A General Interpreted Modal Calculus , New Haven : Yale University Press .
- Carnap , Rudolf . 1937 . Logical Syntax of Language , London : Routledge & Kegan Paul . expanded Eng. tr. of work published in German in 1934.
- Dunn , J. Michael . 1987 . Relevant predication I: the formal theory . Journal of Philosophical Logic , 16 : 347 – 381 .
- Dunn , J. Michael . 1990 . Relevant predication II: intrinsic properties and internal relations . Philosophical Studies , 60 : 177 – 206 .
- Fine , Kit . 1978 . Model theory for modal logic, part II: the elimination of de re modality . Journal of Philosophical Logic , 7 : 277 – 306 .
- Gallin , Daniel . 1975 . Intensional and Higher-Order Modal Logic , Amsterdam : North-Holland .
- Gödel , Kurt . 1970 note on the ontological argument given to Dana Scott; published as an appendix to [25] and, alongwith related manuscript material, in [12]
- Gödel Kurt Collected Works et al. Oxford University Press New York 1995 III
- Hazen , A.P. “ The elimination of de re modalities ” . In unpublished typescript circulated early 1976
- Hazen , A.P. 1996 . Actualism again . Philosophical Studies , 84 : 155 – 181 .
- Kripke , Saul . 1971 . “ Identity and necessity ” . In Identity and Individuation , Edited by: Munitz , M. New York : New York University Press . in repr. in The Possible and the Actual, ed. M.J. Loux, (Ithaca: Cornell University Press, 1979).
- Kripke , Saul . 1972 . “ Naming and necessity ” . In Semantics of Natural Language , Edited by: Davidson , D. and Harman , G. Dordrecht : Reidel . in repr., with a new introduction, as Saul Kripke, Naming and Necessity (Cambridge: Harvard University Press, 1980).
- Kripke , Saul . 1985 . review of Fine [9] (and of parts I and III) . Journal of Symbolic Logic , 50 : 1083 – 1093 .
- Lewis , David K. 1968 . Counterpart theory and quantified modal logic . Journal of Philosophy , 65 : 113 – 126 . repr. in The Possible and the Actual, ed. M.J. Loux (Ithaca: Cornell University Press, 1979), and with additions in D.K. Lewis, Philosophical Papers, Vol. I (New York: Oxford University Press, 1983).
- Lewis , David K. 1983 . New work for a theory of universals . Australasian Journal of Philosophy , 69 : 343 – 377 .
- Lewis , David K. 1986 . On the Plurality of Worlds , Oxford : Basil Blackwell .
- Mates , Benson . 1986 . The Philosophy of Leibniz , New York : Oxford University Press .
- Parsons , Terence . 1969 . Essentialism and quantified modal logic . Philosophical Review , 78 : 35 – 52 .
- Scott , Dana . 1970 notes on Gödel's argument, published as an appendix to Sobel [25]
- Sidelle , Alan . 1989 . Necessity, Essence and Individuation: a defense of conventionalism , Ithaca : Cornell University Press .
- Sobel , Jordan Howard . 1987 . “ Gödel's ontological proof ” . In On Being and Saying: essays for Richard Cartwright , Edited by: Thompson , Judith Jarvis . Cambridge : MIT Press . in
- Strawson , Peter F. 1959 . Individuals , London : Methuen .
- Thomason , Richmond H. 1969 . “ Modal logic and metaphysics ” . In The Logical Way of Doing Things , Edited by: Lambert , Karel . New Haven : Yale University Press . in