 A slight elaboration on these and related properties can be found on the discussion on time and knowledge  (section 4.2;  for a deeper study, see Halpern &amp; Vardi 1989; van Benthem &amp; Pacuit 2006, albeit in a different semantic setting).