Logic of Information Flow on Communi- cation Channels


Συγγραφέας: Yanjing Wang, Jan van Eijck


Yanjing Wang, Jan van Eijck: Logic of Information Flow on Communi- cation Channels (pdf, 24 pages)
In this paper1, 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...