The Tree of Knowledge in Action: Towards a Common Perspective
Johan van Benthem, Eric Pacuit

Abstract:
We survey a number of decidablity and undecidablity results concerning
epistemic temporal logic.  The goal is to provide a general picture
which will facilitate the `sharing of ideas' from a number of
different areas concerned with modeling agents in interactive social
situations.