Possible worlds semantics requires a fixed domain of objects to evaluate propositions across all wor...
This proposition has not been edited since the history system was added.