Prolegomena to the definition of dynamic predicate logic with local assignments door A. Visser