Logical investigations into dynamic semantics by W. Groeneveld