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

Supplement to Actualism

Proof of the Barcan Formula in S5

LaTeX image of Proof

Return to Section 2.1 of Actualism (Controversial Consequences of SQML)
Return to Section 3.2 of Actualism (Kripke's Quantified Modal Logic)
Return to Supplement on Prior's Modal Logic