In this paper 1 , we develop an epistemic logic to specify and reason about the information flow on the 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. We relate our logic to the standard DEL and IS approaches and demonstrate its use by studying a telephone call communication scenario.
Further, in REF an epistemic logic was proposed to reason about information flow with respect to underlying communication channels.
Logic of Information Flow on Communication Channels
DALT
Computer Science