 By relativizing truth at an instant to a history in the tree, the Ockhamist branching time logic provides a notion of plain future truth. From a philosophical point of view, however, the relativization to a history is not entirely unproblematic. There are essentially two different ways to interpret the Ockhamist history parameter: first, one may think of the history parameter as referring to the actual course of events in the tree of possibilities and, since this idea meshes well with Ockham’s view on the future, Prior chose the label ‘Ockhamism’. The actualist position has triggered a variety of branching time temporal logics, which are often summarized under the label ‘Thin Red Line’ theories (for a discussion, see Belnap and Green 1994; Belnap et al. 2001; and Øhrstrøm 2009). Second, one may think of the history parameter as an auxiliary parameter of truth that cannot be initialized in a context: a context of utterance, one may argue, uniquely determines the time instant of the utterance, but it does not and cannot single out one of the histories passing through that instant if the future is genuinely open. This line of thought has given rise to ‘post-semantic’ accounts, which aim to bridge the gap between the recursive semantic machinery and a context by introducing a notion of super-truth, most notably Thomason’s supervaluationism (Thomason 1970) and MacFarlane’s assessment-sensitive post-semantics (MacFarlane 2003; 2014). These accounts sacrifice bivalence, but they preserve the principles of excluded middle \(\varphi \vee \neg\varphi\) and future excluded middle \(F\varphi \vee F\neg\varphi\).