- Common knowledge in email exchanges
- CEUR Workshop Proceedings
- Pages (from-to)
- Document type
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
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
- Accepted author manuscript
Final publisher version
- Other links
- issue contents
- Proceedings of the Workshop "Reasoning About Other Minds: Logical and Cognitive Perspectives" : Groningen, Monday July 11th,
Edited by Jan van Eijck and Rineke Verbrugge.
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.