Journal Articles ACM Transactions on Computational Logic Year : 2013

Common Knowledge In Email Exchanges

Abstract

We consider a framework in which a group of agents communicates by means of emails, with the possibility of replies, forwards and blind carbon copies (BCC). We study the epistemic consequences of such email exchanges by introducing an appropriate epistemic language and semantics. This allows us to find out what agents learn from the emails they receive and to determine when a group of agents acquires common knowledge of the fact that an email was sent. We also show that in our framework from the epistemic point of view the BCC feature of emails cannot be simulated using messages without BCC recipients.

Dates and versions

hal-00923396 , version 1 (02-01-2014)

Identifiers

Cite

Floor Sietsma, Krzysztof R. Apt. Common Knowledge In Email Exchanges. ACM Transactions on Computational Logic, 2013, 14 (3), pp.1 - 23. ⟨10.1145/2499937.2499944⟩. ⟨hal-00923396⟩

Collections

INRIA INRIA2
47 View
0 Download

Altmetric

Share

More