103 search results - page 2 / 21 » Dynamic epistemic logic with assignment |
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...
JOLLI
2010
13 years 5 months ago
2010
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...
ECSQARU
2007
Springer
14 years 1 months ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
AIA
2006
13 years 8 months ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
LORI
2009
Springer
14 years 1 months ago
2009
Springer
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in m...