Lambda the Ultimate

Dynamic Logic is a topic that I don't recall seeing on Ltu previously. I am quite intrigued by the way it merges action (ie side effects) into a more or less conventional logic. It is also interesting that this is core computer science going back to the 1970's, and there is a nice text book. Can anyone really say that there is some problem with action semantics?