The Tree of Knowledge in Action: Towards a Common Perspective
Johan van Benthem, Eric Pacuit · UvA-DARE (University of Amsterdam) · 2006
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. 1