Bilattice logic of epistemic actions and knowledge

Zeinab Bakhtiari; Hans van Ditmarsch; Umberto Rivieccio

doi:10.1016/j.apal.2020.102790

第三条Dans Une Revue 纯粹逻辑与应用逻辑年鉴 Anneée:2020年

认知行为与知识的双态度逻辑

(1),(1),(2)

1
2

泽纳布·巴赫蒂亚里

功能：奥特尔

LOrraine中的计算认识论逻辑

汉斯·范·迪特马什

功能：奥特尔
人员ID:7172
伊达尔：汉斯·万·迪特马什
ORCID代码：0000-0003-4526-8687
参考编号：119668521

LOrraine中的计算认识逻辑

翁贝托·里维奇奥

功能：奥特尔

国家情报局

简历

Baltag、Moss和Solecki提出了一种经典模态逻辑的扩展，称为认知行为和知识逻辑（EAK），在这种逻辑中，人们可以对知识和知识的变化进行推理。Kurz和Palmigiano展示了对偶理论如何为建模这种认知变化提供了一个灵活的框架，允许人们在比经典逻辑（例如直觉主义基础）更弱的命题基础上发展动态认知逻辑。在本文中，我们展示了如何进一步扩展Kurz和Palmigiano的技术，以定义和公理化认知行为和知识的双属性逻辑（BEAK）。我们的命题基础是著名的Belnap和Dunn四值逻辑的模式展开，这是一个用于处理不一致以及潜在冲突信息的系统。我们相信，这些特性使我们的框架从计算机科学的角度来看特别有前途。

Mots clés公司

动态认知逻辑二元性代数模型模态逻辑双瓣双瓣模态逻辑代数模型二元性

与葡萄园

信息[cs]

菲奇尔校长

最终EUB-APAL.pdf（529.46 Ko）

起源：菲奇尔斯制片人par l’（les）auteur（s）

汉斯·范·迪特马什 : Connectez-vous浇注接触器le contributer

https://hal.science/hal-03014096

Soumis le:2020年11月21日至12:47:10

Dernière修改日期：伦迪2023-17:41:19

长期建筑：2021-18:28:58年6月22日

日期和版本

hal-03014096，版本1 (21-11-2020)

身份证明人

HAL Id： hal-03014096，版本1
内政部： 2016年10月10日/j.apal.2020.102790

Citer公司

Zeinab Bakhtiari、Hans van Ditmarsch、Umberto Rivieccio。认知行为和知识的双态度逻辑。纯粹逻辑与应用逻辑年鉴2020年，171（6），第102790页。⟨10.1016/j.apal.2020.102790⟩.⟨哈尔-03014096⟩

出口商

BibTeX公司 XML-TEI公司都柏林核心元数据集 DC条款尾注数据引用

中国科学院 INRIA公司 UNIV-LORAINE公司洛里亚 LORIA-NLPKD公司

61 磋商

81 交易费用