Studies in dynamic logic door G. Cepparello