2 December 2009
Dynamic Logic Seminar on Epistemic Protocols at ILLC:
Posted by Rasmus Rendsvig under: Activities; Courses, seminars and special lectures; Dynamic Epistemic Logic; Information Update; Temporal Epistemic Logic .
| Monday, December 7, 2009 |
On Monday the 7th of December, the dynamic logic working group at ILLC will be having their next seminar’s session. This time, the topic is Epistemic Protocols with talks by Floor Sietsma (CWI), Yanjing Wang (CWI) and Sonja Smets (University of Groningen). The program can be found of the seminar’s website. Abstracts of the first two talks follows below.
Floor Sietsma (CWI): Logic of Information Flow on Communication Channels
We present a logic to describe communication channels and secret messages. Additionally, our logic can reason about communication protocols. We combine a Dynamic Epistemic Logic (DEL) perspective with ideas from Interpreted Systems (IS). Our framework models the communication channels underlying the information flow as well as the information flow itself. Our DEL-style actions allow us to model various communication actions such as message passing and group announcements. In particular we define an external informing action, which essentially announces the protocol the agents are supposed to follow, thus making it common knowledge that the future behaviour of the agents is constrained. Our framework is very flexible in modelling a variety of scenarios with different assumptions about the observational power of the agents. We propose a generic method of epistemic modelling where the initial model is simply the real world, and other worlds are generated on-the-fly. We show how our framework applies to some nice examples.
Yanjing Wang (CWI): Making Things Happen
In this talk, we report the ongoing work on dynamic epistemic logics with so-called ”future-shaping modalities” which constrain the possible actions in the future. The introduction of the new modalities is motivated by the analysis of epistemic protocols, where the meta knowledge of the protocol itself is crucial. We will demonstrate the use of such dynamic modalities with various of potential applications in, e.g., semantics of (pseudo) imperatives, dynamics of games, and information flow analysis.
Loading... 
