nLab Barcan formula

Under construction

If it is possible that something is FF, then something is such that it is possible that it is FF.

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