Open Problems in Logical Dynamics
Johan van Benthem

Abstract:
Dynamic epistemic logics describe multi-agent information date
triggered by speech acts or general events. This paper surveys some
basic research lines in this paradigm, and identifies some 30 open
problems for furtherresearch. This survey will appear in
T. Rozhkovskaya, ed., "Mathematical Problems from Applied Logic",
Russian Academy Of Sciences, Novosibirsk, and Plenum Press, New York.

Keywords: epistemic logic;  dynamic logic;  ;  temporal logic;  information update