Dynamic Logic in Natural Language
Johan van Benthem

Abstract:
We give a survey of dynamic logics of actions that are relevant
to the semantics and pragmatics of natural language, while
emphasizing influences from computer science and AI.