 Another example where bringing in two dimension is useful is in the logic for an open future (Thomason, 1984; Belnap, et al., 2001). Here one employs a temporal structure where many possible future histories extend from a given time. Consider (2).