Epistemic logic for communication chains
Epistemic logic for 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.
131-137
American Institute of Mathematical Sciences
Kane, Jeffrey
f47ba757-af59-48e8-bdca-50648a0ed10b
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
9 January 2013
Kane, Jeffrey
f47ba757-af59-48e8-bdca-50648a0ed10b
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Kane, Jeffrey and Naumov, Pavel
(2013)
Epistemic logic for communication chains.
Schipper, Burkhard C.
(ed.)
In Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2013.
American Institute of Mathematical Sciences.
.
Record type:
Conference or Workshop Item
(Paper)
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.
This record has no associated files available for download.
More information
Published date: 9 January 2013
Additional Information:
Publisher Copyright:
Copyright 2013 by the authors.
Venue - Dates:
14th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2013, , Chennai, India, 2013-01-07 - 2013-01-09
Identifiers
Local EPrints ID: 475990
URI: http://eprints.soton.ac.uk/id/eprint/475990
PURE UUID: dfe9691d-5c90-4317-8748-475d152b5baa
Catalogue record
Date deposited: 03 Apr 2023 16:54
Last modified: 04 Apr 2023 02:03
Export record
Contributors
Author:
Jeffrey Kane
Author:
Pavel Naumov
Editor:
Burkhard C. Schipper
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