 For more information on the interaction of time and knowledge, the reader is referred, among others, to Halpern, van der Meyden, and Vardi (2004); van Benthem, Gerbrandy, et al. (2009). See also van Benthem and Dégremont (2010) and Dégremont (2010) for analogous interactions between time and beliefs, with the latter represented by plausibility preorders similar to the plausibility models described before.