Computer Science – Logic in Computer Science
Scientific paper
2011-09-15
Computer Science
Logic in Computer Science
Scientific paper
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.
Apt Krzysztof R.
Sietsma Floor
No associations
LandOfFree
Common Knowledge in Email Exchanges does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Common Knowledge in Email Exchanges, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Common Knowledge in Email Exchanges will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-673392