Abstract
In this paper we subject the possible ways to define versions of DPL with
local assignments to a thorough and detailed scrutiny. We hope that our
treatment is suggestive of the proper 'abstract' view of dynamic logics
that we would like to arrive at eventually.
