Prolegomena to the definition of dynamic predicate logic with logical assignments - Visser, Albert (Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series, 1997)