Dynamic epistemic logic describes the possible information-changing
actions available to individual agents, and their knowledge pre- and post conditions.
For example, public announcement logic describes actions in the ...