Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth (Q542124)

This survey presents a variety of newer modal logics, such as epistemic logic, dynamic epistemic logic, public announcement logic, doxastic-epistemic logic, all of which try to model more closely the way in which thinking takes place in a social environment (``Although in many cases we do reason in isolation, there is clearly a natural multiagent component to much of our actual reasoning. This takes two forms: we reason about other people, and also with other people.''). This is seen as having originated with Hintikka (1962). Currently, the main proponents of these logics are J. van Benthem, A. Baltag, L. Moss, and the authors. Several of the cited works are Ph.D. dissertations. Although devoted to Beth's centenary, there is no reference to any work of Beth within the paper.