Robuta

https://plato.stanford.edu/archives/fall2015/entries/actualism/proofBF.html Actualism Proof of the Barcan Formula in SQML (Stanford Encyclopedia of Philosophy/Fall 2015... of the barcan formula stanford encyclopedia actualism proof