The Review of Symbolic Logic
Department or Program
Computer Science Department
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.
Naumov, Pavel and Tao, Jia, "Everyone Knows that Someone Knows: Quantifiers over Epistemic Agents" (2018). Faculty Research and Reports. 108.