This is a file in the archives of the Stanford Encyclopedia of Philosophy.

Stanford Encyclopedia of Philosophy
Supplement to Actualism


Proof of ‘Necessary Existence’ in S5

Return to Section 2 of Actualism (Controversial Consequences of SQML)
Return to Section 3 of Actualism (Kripke’s Quantified Modal Logic)

Copyright © 2000
Christopher Menzel
cmenzel@tamu.edu

Supplement to Actualism
Stanford Encyclopedia of Philosophy