103 search results - page 8 / 21 » Dynamic epistemic logic with assignment |
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
There is a recent trend of extending epistemic logic (EL) with dynamic operators that allow to express the evolution of knowledge and induced by knowledge-changing actions. The mo...
ICCAD
1996
IEEE
15 years 3 months ago
1996
IEEE
98
Voted
TARK
2007
Springer
15 years 5 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
116
click to vote
CLIMA
2004
15 years 1 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
111
Voted
SYNTHESE
2010
14 years 6 months ago
2010
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...