Logic of information flow on communication channels

Authors:
Yanjing Wang;Floor Sietsma;Jan van Eijck
Affiliations:
Centrum Wiskunde en Informatica, Amsterdam;Centrum Wiskunde en Informatica, Amsterdam;Centrum Wiskunde en Informatica, Amsterdam
Venue:
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Year:
2010

Citing 3
Cited 3

Reasoning about knowledge

Reasoning about knowledge
Common knowledge in interaction structures

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Verifying epistemic protocols under common knowledge

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge

Reasoning about protocol change and knowledge

ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
The synchronicity of dynamic epistemic logic

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Common Knowledge in Email Exchanges

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.