English

Common Knowledge in Email Exchanges

Logic in Computer Science 2012-11-27 v2

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.

Cite

@article{arxiv.1109.3322,
  title  = {Common Knowledge in Email Exchanges},
  author = {Floor Sietsma and Krzysztof R. Apt},
  journal= {arXiv preprint arXiv:1109.3322},
  year   = {2012}
}

Comments

34 pages. To appear in ACM Transactions on Computational Logic

R2 v1 2026-06-21T19:05:15.505Z