Document Type
Article
Journal/Book Title/Conference
The review of symbolic logic
Article
1153
Publication Date
2018
Department or Program
Computer Science Department
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.
Citation Information
Naumov, Pavel and Tao, Jia, "Everyone knows that someone knows: quantifiers over epistemic agents" (2018). Faculty Research and Reports. 108.
https://digitalwindow.vassar.edu/faculty_research_reports/108
Included in
Artificial Intelligence and Robotics Commons, Epistemology Commons, Logic and Foundations Commons, Logic and Foundations of Mathematics Commons, Theory and Algorithms Commons