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