Stanford Encyclopedia of Philosophy

Supplement to Actualism

The Barcan Formula is Logically True

LaTeX image of the Proof

Return to Actualism