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

Supplement to Actualism

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)