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

Stanford Encyclopedia of Philosophy
Supplement to Actualism
Citation Information


Proof of ‘Necessary Existence’ in S5

LaTeX image of the Proof

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

Copyright © 2005
Christopher Menzel
cmenzel@tamu.edu

Supplement to Actualism
Stanford Encyclopedia of Philosophy