Update semantics for modal predicate logic - Groenendijk, Jeroen; Stokhof, M. J. B. 1950-; Veltman, Frank (ILLC, 1994)