A Runs-and-Systems Semantics for Logics of Announcement
Riccardo Pucella and Mehrnoosh Sadrzadeh abstract
Logics of announcements are logics of knowledge to reason about agents that communicate by broadcasting interpreted messages. These logics are typically given a semantics in terms of updatable Kripke structures, which tend to be abstract. We revisit the semantics of logics of announcements and develop a concrete semantics using runs and systems. The advantage is that we can devise models that capture scenarios without having to express properties of those scenarios within the logic itself. In this concrete setting, we study honesty as well as belief in the presence of announcements that are not broadcast to all agents in a system.
infojournal | Texts in Logic and Games |
publisher | University of Amsterdam |
year | 2009 |
links
BibTeX
Download (pdf)
related pages
|
