nLab Barcan formula

Under construction

If it is possible that something is $F$, then something is such that it is possible that it is $F$.

Last revised on September 4, 2015 at 18:36:15. See the history of this page for a list of all contributions to it.