 The topic of limit behavior also raises the issue of how local dynamic logics of agency relate to the global temporal logics discussed in  Section 4.2.4.  Towards clarifying the connection, van Benthem, Gerbrandy, Hoshi, and Pacuit (2009), show how dynamic-epistemic logics can be seen as decidable fragments of more expressive temporal logics. Baltag, Smets, and Zvesper (2009) discuss the related theme of how dynamic representations can decrease complexity by shifting information from the temporal universe to dynamic events.