Knowledge in Communication Networks

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.