User:Koen.lefever/Branching time

Branching Time is a model of time in logic which takes into account that events can have different (possibly incompatible) outcomes, due to for example a choice being made. Each possible outcome results in a different possible world.

Branching Space-Time
DRAFT - WORK IN PROGRESS