948 search results - page 1 / 190 » What can we achieve by arbitrary announcements |
TARK
2007
Springer
13 years 11 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...
ATAL
2008
Springer
13 years 7 months ago
2008
Springer
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
SYNTHESE
2011
13 years 7 days ago
2011
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...
JAPLL
2010
13 years 3 months ago
2010
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
IWC
2011
12 years 8 months ago
2011
The fact that several web accessibility metrics exist may be evidence of a lack of a comparison framework that highlights how well th...