The Barcan formula's validity depends on constant domains, yet S4 remains consistent with variable d...
This proposition has not been edited since the history system was added.