 In a nutshell, a dynamic epistemic logic (DEL) framework has two components. The ‘static’ part consists of a ‘standard’ modal system: a language including one or more modalities for the one or more concepts under study, together with the semantic model on which the formulas are interpreted. The ‘dynamic’ part consists of modalities expressing different ways in which the studied concept(s) might change, with the crucial insight being that these modalities are semantically interpreted not on the given model, but rather on one that results from transforming the given one in an appropriate way.