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.