Epistemic Logic for Communication Chains
classification
💻 cs.LO
keywords
chainscommunicationaxiomsepistemiclinearadditioncapturecomplete
read the original 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 paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.