Knowledge in communication networks
Knowledge in communication networks
The article 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.
Communication network, Formal epistemology, Knowledge, Modal logic
1189-1224
Naumov, Pavel G.
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
1 June 2017
Naumov, Pavel G.
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
Naumov, Pavel G. and Tao, Jia
(2017)
Knowledge in communication networks.
Journal of Logic and Computation, 27 (4), .
(doi:10.1093/logcom/exv080).
Abstract
The article 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.
This record has no associated files available for download.
More information
e-pub ahead of print date: 7 December 2015
Published date: 1 June 2017
Additional Information:
Publisher Copyright:
© The Author, 2016.
Keywords:
Communication network, Formal epistemology, Knowledge, Modal logic
Identifiers
Local EPrints ID: 476050
URI: http://eprints.soton.ac.uk/id/eprint/476050
ISSN: 0955-792X
PURE UUID: 7ebf8aa6-af7f-4469-8535-e62374c7d02d
Catalogue record
Date deposited: 04 Apr 2023 17:01
Last modified: 17 Mar 2024 04:10
Export record
Altmetrics
Contributors
Author:
Pavel G. Naumov
Author:
Jia Tao
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics