Knowledge in communication networks

DOI10.1093/LOGCOM/EXV080MaRDI QIDQ3133163zbMATH OpenOpenAlexFDO

Authors Pavel Naumov, Jia Tao

Publication date 13 February 2018

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1501.03028

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Network protocols (68M12) Communication networks in operations research (90B18)

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.

Recommendations

• Logic of information flow on communication channels
• The Ryōan-ji axiom for common knowledge on hypergraphs
• scientific article; zbMATH DE number 6747860
• On knowledge and communication complexity in distributed systems
• On interactive knowledge with bounded communication

Cited in

(10)

• On knowledge and communication complexity in distributed systems
• Topological variability of collectives and its import for social epistemology
• Symmetries and epistemic reasoning
• On interactive knowledge with bounded communication
• Fault tolerance in belief formation networks
• Logic of information flow on communication channels
• Known unknowns: time bounds and knowledge of ignorance
• Observing, reporting, and deciding in networks of sentences
• Challenges for decidable epistemic logics from security protocols
• Virtues for agents in directed social networks

This page was built for publication: Knowledge in communication networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3133163)