Open problems in logical dynamics. (English) Zbl 1101.03018
Gabbay, Dov M. (ed.) et al., Mathematical problems from applied logic. I. Logics for the XXIst century. New York, NY: Springer (ISBN 0-387-28688-8/hbk). International Mathematical Series (New York) 4, 137-192 (2006).
In recent years a number of dynamic logics have been developed for dealing with communication, information and interaction. This paper provides a survey of the various logics that have been proposed, highlighting conceptual issues and open problems. Among the logics covered are public announcement logic, dynamic epistemic logic, fixed-point logics, dynamic doxastic logic and temporal epistemic logic.
For the entire collection see [Zbl 1085.03002].
For the entire collection see [Zbl 1085.03002].
Reviewer: Giacomo Bonanno (Davis)
MSC:
03B42 | Logics of knowledge and belief (including belief change) |
03-02 | Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations |