 Finally, it should be noted that type spaces assume a static perspective on games. No provisions are taken for representing moves or strategies explicitly, nor for incorporating updates of knowledge and belief that occur as a game in extensive form unfolds, cf. the discussion in  Section 4.  Thus, there is some distance between type spaces and the earlier epistemic-doxastic forest models for extensive games. As a first step towards filling this gap, it has been shown how type spaces can accommodate product updates from dynamic epistemic logic (Klein &amp; Pacuit 2014).