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.
Additional Metadata
Keywords Protocol analysis · Epistemic logic · Dynamic Logic
THEME Software (theme 1), Logistics (theme 3)
Publisher FAAMAS
Editor W. van der Hoek (Wiebe) , not CWI et al
Conference International Joint Conference on Autonomous Agents and Multiagent Systems
Citation
Wang, Y, Sietsma, F.A.G, & van Eijck, D.J.N. (2010). Logic of Information Flow on Communication Channels (Extended Abstract). In W van der Hoek & not CWI et al (Eds.), Proceedings of International Conference on Autonomous Agents and Multiagent Systems 2010 (pp. 1447–1448). FAAMAS.