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

Supplement to Actualism

The Converse Barcan Formula is Logically True

LaTeX image of the Proof

Return to Actualism