A runs-and-systems semantics for logics of announcements

Authors:
Riccardo Pucella;Mehrnoosh Sadrzadeh
Affiliations:
College of Computer and Information Science, Northeastern University, Boston, MA;Computing Laboratory, University of Oxford, Oxford, United Kingdom
Venue:
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Year:
2008

Citing 11
Cited 0

A logic of authentication

ACM Transactions on Computer Systems (TOCS)
Reasoning about knowledge

Reasoning about knowledge
Dynamic epistemic logic

Logic, language and computation, vol. 2
Dynamic Logic

Dynamic Logic
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications

COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
The Glory of the Past

Proceedings of the Conference on Logic of Programs
A Knowledge Based Semantics of Messages

Journal of Logic, Language and Information
Concurrent common knowledge: defining agreement for asynchronous systems

Distributed Computing
Merging frameworks for interaction: DEL and ETL

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Temporal Languages for Epistemic Programs

Journal of Logic, Language and Information
Dynamic Epistemic Logic

Dynamic Epistemic Logic

Quantified Score

Hi-index	0.00

Visualization

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.