 \(\Ock(t,c,p) = 1\) can be read ‘\(p\) is true at \(t\) in the chronicle \(c\)’. A formula \(p\) is said to be Ockham-valid if and only if \(\Ock(t,c,p) = 1\) for any \(t\) in any \(c\) in any branching time structure, (TIME,\(\le\),C) and any valuation function TRUE. Here C should not be taken as an independent parameter. In this case C is just the set of all maximally ordered linear subsets in (TIME,\(\le)\). Furthermore, it should be noted that relative to a single chronicle, (a) – (e) are exactly the same definitions as those used in linear tense-logic (i.e. the tense-logic which follows if (TIME,\(\le)\) is a linear structure).