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

Stanford Encyclopedia of Philosophy
Supplement to Actualism
Citation Information


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

Copyright © 2005
Christopher Menzel
cmenzel@tamu.edu

Supplement to Actualism
Stanford Encyclopedia of Philosophy