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

Supplement to Actualism

Proof of Barcan Formula Equivalent

LaTeX image of the Proof

Return to Actualism