 It should also be noted that the theories in the first row all formally make use of the Ockhamist recursive semantics, although they differ in how or whether truth at a moment of time is defined in terms of \(\Ock(t,c,p)\).