Sciweavers

AIML
2006
14 years 25 days ago
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 idea...
Johan van Benthem, Eric Pacuit