Dynamic logic for reasoning about actions and agents / John-Jules Meyer
Dynamic logic for reasoning about actions and agents