Skip to Main content Skip to Navigation
Journal articles

Common Knowledge In Email Exchanges

Floor Sietsma 1 Krzysztof 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 <>
Submitted on : Thursday, January 2, 2014 - 5:06:43 PM
Last modification on : Tuesday, June 22, 2021 - 10:20:04 AM

Links full text

Identifiers

Collections

Citation

Floor Sietsma, Krzysztof 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

160