References & Citations
Computer Science > Logic in Computer Science
Title: Knowledge in Communication Networks
(Submitted on 13 Jan 2015 (v1), last revised 3 Nov 2015 (this version, v2))
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.
Submission history
From: Pavel Naumov [view email][v1] Tue, 13 Jan 2015 15:01:47 GMT (1821kb,D)
[v2] Tue, 3 Nov 2015 21:37:34 GMT (1824kb,D)
Link back to: arXiv, form interface, contact.