Logic of Information Flow on Communi- cation Channels


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..

Download options


    Upload a copy of this work     Papers currently archived: 72,891

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.


Added to PP

51 (#226,545)

6 months
1 (#386,040)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yanjing Wang
Peking University

References found in this work

A Knowledge Based Semantics of Messages.Rohit Parikh & Ramaswamy Ramanujam - 2003 - Journal of Logic, Language and Information 12 (4):453-467.
The Russian Cards Problem.Hans van Ditmarsch - 2003 - Studia Logica 75 (1):31-62.
Verifying Epistemic Protocols Under Common Knowledge.Yanjing Wang, Lakshmanan Kuppusamy & Jan van Eijck - 2009 - Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge - Tark ’09:257--266.

Add more references

Similar books and articles

Reasoning About Update Logic.Jan van Eijck & Fer-Jan de Vries - 1995 - Journal of Philosophical Logic 24 (1):19-45.
Quality and Quantity of Information Exchange.Robert van Rooy - 2003 - Journal of Logic, Language and Information 12 (4):423-451.
Probabilistic Dynamic Epistemic Logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Reasoning About Update Logic.Jan Van Eijck & Fer-Jan De Vries - 1995 - Journal of Philosophical Logic 24 (1):19 - 45.
Merging DEL and ETL.Tomohiro Hoshi - 2010 - Journal of Logic, Language and Information 19 (4):413-430.
Constraints, Channels and the Flow of Information.Jon Barwise - 1993 - In Peter Aczel, David Israel, Yosuhiro Katagiri & Stanley Peters (eds.), Situation Theory and its Applications Vol. 3. CSLI Publications. pp. 3-27.
Merging Frameworks for Interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.