Journal article
A Runs−and−Systems Semantics for Logics of Announcement
- 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.
Actions
Access Document
- Files:
-
-
(Preview, pdf, 258.3KB, Terms of use)
-
Authors
- Journal:
- LNCS‚ volume 6006‚ Subseries FoLLI−LNAI More from this journal
- Publication date:
- 2009-01-01
- UUID:
-
uuid:77e5e671-d890-499a-b9bd-37e60ee6d0b7
- Local pid:
-
cs:2907
- Deposit date:
-
2015-03-31
- ARK identifier:
Terms of use
- Copyright date:
- 2009
If you are the owner of this record, you can report an update to it here: Report update to this record