 The medieval assumption of the true future can in terms of modern logic and a branching time model be rendered as meaning that there is a privileged branch (i.e., a specific chronicle) in the model. If \(b\) is this privileged branch, then the truth-value of a proposition, \(p\), at a moment of time, \(t\), may be defined in terms of the Ockhamistic valuation function as \(\Ock(t,b,p)\). We may speak of “the actual future” (Lucas 1989). This solution has been studied in (Øhrstrøm 1981) and further elaborated and discussed in (Malpass et al. 2012) and (Borghini et al. 2013). Consider, for instance, the following model, in which the arrows indicate the true future at any moment.