Dynamic modal predicate logic / D.J.N. van Eijck, G. Cepparello