Sciweavers

JOLLI
2010
118views more  JOLLI 2010»
13 years 11 months ago
Merging DEL and ETL
This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic tempora...
Tomohiro Hoshi
AIML
2006
14 years 1 months 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