[New Entry by Giuseppe Spolaore and Alberto Zanardo on April 7, 2025.]
Branching time (BT) is a multipurpose label, which is mainly used to denote (i) a family of structures (BT representations or BT frames), possibly along with the axiomatic theories defining them, (ii) a family of semantics for temporal and modal logics (BT semantics); and (iii) a metaphysical conception concerning our universe and its temporal and modal features (branching conception of time or BT conception)….

Read the full article which is published on Stanford Encyclopedia of Philosophy (external link)