Back to Search
Start Over
EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS.
- Source :
-
Review of Symbolic Logic . Jun2019, Vol. 12 Issue 2, p255-270. 16p. - Publication Year :
- 2019
-
Abstract
- Modal logic S5 is commonly viewed as an epistemic logic that captures the most basic properties of knowledge. Kripke proved a completeness theorem for the first-order modal logic S5 with respect to a possible worlds semantics. A multiagent version of the propositional S5 as well as a version of the propositional S5 that describes properties of distributed knowledge in multiagent systems has also been previously studied. This article proposes a version of S5-like epistemic logic of distributed knowledge with quantifiers ranging over the set of agents, and proves its soundness and completeness with respect to a Kripke semantics. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 17550203
- Volume :
- 12
- Issue :
- 2
- Database :
- Academic Search Index
- Journal :
- Review of Symbolic Logic
- Publication Type :
- Academic Journal
- Accession number :
- 136001934
- Full Text :
- https://doi.org/10.1017/S1755020318000497