User:Koen.lefever/Branching time

This is not a Wikipedia article: It is an individual user's work-in-progress page, and may be incomplete and/or unreliable. For guidance on developing this draft, see Wikipedia:So you made a userspace draft.  Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL Easy tools: Citation bot (help) | Advanced: Fix bare URLs This page was last edited by [[User:|]] ([[User talk:|talk]] | contribs) 0 seconds ago. (Update timer) Finished writing a draft article? Are you ready to request an experienced editor review it for possible inclusion in Wikipedia? Save your work by pressing the "Publish page" button below, and a button will appear here allowing you to submit your draft for review.

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.