 One perspective on such logics for reasoning about model change is the semantic games approach of  Section 6.1.  In standard evaluation games, the initial model does not change. Modalities for model change, however, require a process of formula evaluation where the model of evaluation changes as, say, witnesses for quantifiers are not replaced (unlike in standard semantics for first-order logic), or moves change facts by causing damage to accessibility relations. In other contexts, similar modalities are justified by physical measurements that change the phenomenon under investigation, (Hintikka 2002; Renardel 2001; Ågotnes &amp; Wáng 2017), while another natural example are the dynamic-epistemic logics for information update mentioned in the discussion of game play (Baltag &amp; Renne 2016). Such generalized form of semantics are of independent logical interest.