Epistemic Logic for Communication Chains
Logic in Computer Science
2013-10-29 v1
Abstract
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.
Cite
@article{arxiv.1310.6424,
title = {Epistemic Logic for Communication Chains},
author = {Jeffrey Kane and Pavel Naumov},
journal= {arXiv preprint arXiv:1310.6424},
year = {2013}
}
Comments
7 pages, Contributed talk at TARK 2013 (arXiv:1310.6382) http://www.tark.org