Logic of information flow on communication channels
Yanjing Wang, Floor Sietsma, Jan van Eijck · Adaptive Agents and Multi-Agents Systems · 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.