The Tree of Knowledge in Action: Towards a Common Perspective

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.

• Type: Conference
• Year: 2006
• Where: AIML
• Authors: Johan van Benthem, Eric Pacuit
• Keywords: AIML 2006, AIML 2008, Epistemic Temporal Logic, General Picture, Interactive Social Situations