Skip to Main content Skip to Navigation
Journal articles

Common Knowledge In Email Exchanges

Floor Sietsma 1 Krzysztof R. Apt 1 
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
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.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00923396
Contributor : Tijs Van Der Storm Connect in order to contact the contributor
Submitted on : Thursday, January 2, 2014 - 5:06:43 PM
Last modification on : Wednesday, February 2, 2022 - 3:55:31 PM

Links full text

Identifiers

Collections

Citation

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

Share

Metrics

Record views

34