Common knowledge in email exchanges
| Authors | |
|---|---|
| Publication date | 2011 |
| Host editors |
|
| Book title | Proceedings of the Workshop on Reasoning About Other Minds: Logical and Cognitive Perspectives |
| Book subtitle | Groningen, The Netherlands, July 11th, 2011 |
| Series | CEUR Workshop Proceedings |
| Event | Workshop on Reasoning About Other Minds: Logical and Cognitive Perspectives |
| Pages (from-to) | 5-19 |
| Publisher | Aachen: CEUR-WS |
| Organisations |
|
| 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 determine when a group of agents acquires common knowledge of the formula expressing 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. Finally, we clarify the notion of a causal relationship between emails using the concept of properly terminating email exchanges. |
| Document type | Conference contribution |
| Language | English |
| Published at | https://arxiv.org/abs/1109.3322 http://ceur-ws.org/Vol-751/reasoningminds2011_submission_6.pdf |
| Other links | http://ceur-ws.org/Vol-751/ |
| Downloads |
354309.pdf
(Final published version)
|
| Permalink to this page | |