 In DDL, belief revision operations (expansion, revision, and contraction) are expressed with dynamic modal operators, similar to those used for program execution. (This element of DDL was present also in previous publications by several authors. See Fuhrmann 1991; de Rijke 1994; van Benthem 1989 and 1995.) Segerberg used the following notation: