Stalnaker's model explicitly defines context as a set of possible worlds that updates incrementally;...
This proposition has not been edited since the history system was added.