An update semantics for dynamic predicate logic
An update semantics for dynamic predicate logic / Paul Dekker