问题:
[判断题]Dynamic-epistemic logics describe information how engendered by events. The simplest informative event, and a pilot case for much of the theory, is a public announcement !A of some true proposition A to a group of agents. Updates for more complex communicative events can be described in terms of `update models', which model more complex patterns of access that agents may have to the event currently taking place.