Distributed Computing
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
Simulating synchronized clocks and common knowledge in distributed systems
Journal of the ACM (JACM)
Reasoning about knowledge
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Concurrent common knowledge: defining agreement for asynchronous systems
Distributed Computing
Logics of communication and change
Information and Computation
Common knowledge in interaction structures
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Formal Modeling and Analysis of an IETF Multicast Protocol
SEFM '09 Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Logic of information flow on communication channels
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Beyond Lamport's happened-before: on the role of time bounds in synchronous systems
DISC'10 Proceedings of the 24th international conference on Distributed computing
Message passing in a dynamic epistemic logic setting
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Hi-index | 0.00 |
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.