On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge
On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge
复制标题
论阿特莫夫和普罗托波佩斯库的分布式知识扩展的直觉认识逻辑
DOI：
10.1007/978-3-030-88708-7_18
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Ryo Murai and Katsuhiko Sano
中科院分区：
文献类型：
--
作者：
Youan Su;Ryo Murai and Katsuhiko Sano
Artemov和Protopopescu(2018)引入了Brouwer-Heyting-Kolmogorov(BHK)对知识算子的解释来定义直觉主义的认识逻辑，其中公理被接受而公理被拒绝。本文研究了IEL多智能体变体扩展的分布式知识概念。我们给出了一种分布式知识算子的BHK解释，以定义具有分布式知识的直觉性认知逻辑。我们构造了Hilbert系统和无割序列演算，并证明了它们对于预期的Klipke语义是可靠的和完备的。
Artemov and Protopopescu (2018) introduced a Brouwer-Heyting-Kolmogorov (BHK) interpretation of knowledge operator to define the intuitionistic epistemic logicIEL, where the axiomis accepted but the axiomis refused. This paper studies the notion of distributed knowledge on an expansion of the multi agent variant ofIEL. We provide a BHK interpretation of distributed knowledge operator to define the intuitionistic epistemic logic with distributed knowledgeDIEL. We construct Hilbert system and cut-free sequent calculus forand show that they are sound and complete for the intended Kripke semantics.
登录
查看更多内容
分布式知识
影响因子：
--
作者：
F. Roelofsen
通讯作者：
F. Roelofsen
逻辑 S5n(ED) 的自由连续微积分
DOI：
10.15388/lmr.2010.61
发表时间：
2010
期刊：
The Review of Symbolic Logic
影响因子：
--
作者：
H. Giedra
通讯作者：
H. Giedra
DOI：
10.1007/11417170_17
发表时间：
2005
期刊：
ArXiv
影响因子：
--
作者：
O. Hermant
通讯作者：
O. Hermant
S 4 和 S 5 之间的模态逻辑
影响因子：
0.3
作者：
M. Dummett;E. Lemmon
通讯作者：
E. Lemmon
团体信念
DOI：
10.1007/978-3-030-44638-3_1
发表时间：
2020
期刊：
ArXiv
影响因子：
--
作者：
Thomas Ågotnes;Yì N. Wáng
通讯作者：
Yì N. Wáng