EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
复制标题
每个人都知道有人知道：认知主体的量词
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Jia Tao
中科院分区：
文献类型：
--
作者：
Pavel Naumov;Jia Tao
模态逻辑S5通常被视为一种认知逻辑，它捕捉了知识的最基本属性。Kripke证明了一阶模态逻辑S5关于可能世界语义的完备性定理。一个多智能体版本的命题S5，以及一个版本的命题S5，描述了多智能体系统中的分布式知识的属性也已研究。本文提出了一个版本的S5类认知逻辑的分布式知识的量词范围内的代理，并证明了其可靠性和完备性的Kripke语义。
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.