Institute for Logic, Language and Computation

16 December 2010, Computational Social Choice Seminar, Floor Sietsma

Speaker: Floor Sietsma (CWI)
Title: On Email Exchanges
Date: Thursday 16 December 2010
Time: 16:00
Location: Room A1.04, Science Park 904, Amsterdam


Email is by now a prevalent form of communication. There is a great deal of information present in the emails people send and receive. We present a formal framework to investigate the epistemic consequences of email communication. Our central question is: after a certain email conversation has taken place, who knows what? This is an interesting question in a variety of settings. One example is a large company that finds out that a certain employer secretly works for a competitor and wants to investigate what secret information has been revealed to this employer. We give a history-based semantics for modeling email communication, and a logic to reason about it. We show that we can precisely characterize when a group of agents gains common knowledge and we give a partial decidability result of our logic.

For more information, see, or contact Ulle Endriss ().

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X