Supplement to Actualism
Proof of the Barcan Formula in S5
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