Knowledge in communication networks

descriptionPublicationkeyboard_double_arrow_right Article , Preprint 07 Dec 2015Embargo end date: 01 Jan 2015 United Kingdom English Publisher:Oxford University Press (OUP)Journal:Journal of Logic and Computation (issn: 0955-792X, eissn: 1465-363X,

Copyright policy )

Authors: Pavel Naumov; Jia Tao 0001;

doi: 10.1093/logcom/exv080 , 10.48550/arxiv.1501.03028

arXiv: 1501.03028

Knowledge in communication networks

- Summary
- Subjects
- Metrics

Abstract

The paper investigates epistemic properties of information flow under communication protocols with a given topological structure of the communication network. The main result is a sound and complete logical system that describes all such properties. The system consists of a variation of the multi-agent epistemic logic S5 extended by a new network-specific Gateway axiom.

Country

United Kingdom

Related Organizations

College of New Jersey
United States
University of Southampton
United Kingdom
Illinois Wesleyan University
United States

Keywords

FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 004, Logic in Computer Science (cs.LO)

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	1
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average