The transition semantics is deeply rooted in the picture of a dynamicactuality. Possible courses of events are modeled by chains of transi-tions, which can be extended toward the future. In the absence of anoverarching actuality which comprises an actual future, there is no needto conceive of possibilities as histories. In fact, transitions seem to be the