Epistemic logic for communication chains
J Kane, P Naumov - arXiv preprint arXiv:1310.6424, 2013 - arxiv.org
J Kane, P Naumov
arXiv preprint arXiv:1310.6424, 2013•arxiv.orgThe paper considers epistemic properties of linear communication chains. It describes a
sound and complete logical system that, in addition to the standard axioms of S5 in a multi-
modal language, contains two non-trivial axioms that capture the linear structure of
communication chains.
sound and complete logical system that, in addition to the standard axioms of S5 in a multi-
modal language, contains two non-trivial axioms that capture the linear structure of
communication chains.
The paper considers epistemic properties of linear communication chains. It describes a sound and complete logical system that, in addition to the standard axioms of S5 in a multi-modal language, contains two non-trivial axioms that capture the linear structure of communication chains.
arxiv.org
Showing the best result for this search. See all results