Logic of Information Flow on Communication Channels (Extended Abstract)
Yanjing Wang, Floor Sietsma, van Jan Eijck, van der W. Hoek, not Cwi · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 2010
We develop an epistemic logic to specify and reason about information flow and its underlying communication channels. By combining ideas from Dynamic Epistemic Logic (DEL) and Interpreted Systems (IS), our semantics offers a natural and neat way of modelling multi-agent communication scenarios with different assumptions about the observational power of agents.