Logic of information flow on communication channels

Authors:
Yanjing Wang;Floor Sietsma;Jan van Eijck
Affiliations:
Department of Philosophy, Peking University, Beijing, China;Centrum Wiskunde en Informatica, Amsterdam, The Netherlands;Centrum Wiskunde en Informatica, Amsterdam, The Netherlands
Venue:
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Year:
2010

Citing 13
Cited 2

Reasoning about knowledge

Reasoning about knowledge
Derivatives of Regular Expressions

Journal of the ACM (JACM)
Reasoning about Information Change

Journal of Logic, Language and Information
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Distributed Processes and the Logic of Knowledge

Proceedings of the Conference on Logic of Programs
A Knowledge Based Semantics of Messages

Journal of Logic, Language and Information
Deciding knowledge properties of security protocols

TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Logics of communication and change

Information and Computation
A Complete Axiomatization of Knowledge and Cryptography

LICS '07 Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science
Knowledge-based modelling of voting protocols

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and 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
Epistemic dynamics and protocol information

Epistemic dynamics and protocol information

The synchronicity of dynamic epistemic logic

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
A logic for knowledge flow in social networks

AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we develop an epistemic logic for specifying and reasoning about 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 modeling 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.