 The case of dynamic epistemic logic, the study of modal logics of model change, is of particular interest. In these systems, the relationship between their modalities is special. Here we will only recall the basic notions, referring the reader to the  SEP entry  by Baltag and Renne (2016) for an in-depth discussion