Prolegomena to the definition of dynamic predicate logic with logical assignments - Visser, Albert (Department of Philosophy, Utrecht Univ., 1997)