
TL;DR
This paper develops a logical framework to analyze the epistemic properties of information flow in communication networks with fixed topologies, introducing a new axiom to enhance understanding of network-specific knowledge.
Contribution
It presents a sound and complete logical system for epistemic properties in communication networks, incorporating a novel Gateway axiom tailored to network topology.
Findings
Logical system is sound and complete for network epistemic properties
Introduces a new Gateway axiom for network-specific knowledge
Provides a formal foundation for analyzing information flow in networks
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
