宣告群组的无知来消除主体的无知--基于无知的一个群组宣告逻辑

摘要：

本文提出一个基于无知的群组宣告逻辑，该逻辑是带有宣告算子的无知逻辑加上一个基于无知的群组宣告算子的扩展，用以表达群组中的每个主体宣告他们各自的无知后什么东西为真。我们对比这一逻辑和文献中相关逻辑的相对表达力，并研究该逻辑的框架可定义性问题。另外，我们也提出一个公理化系统并证明它的完全性。

机标关键词：相关逻辑、可定义性问题、算子、完全性、逻辑加、公理化、表达力、证明、系统、文献、扩展、框架

所属期刊栏目：9

分类号：TP3;O14

资助基金：This research is funded by China Postdoctoral Science Foundation2016M590061;partly fun-ded by National Social Science Key Project of China 15AZX020. We thank Louwe Kuijer for com-municating an unsoundness proof to us see footnote 4. We thank Hans van Ditmarsch and a reviewer of the journal for their insightful comments

在线出版日期：2017-01-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共30页

页码：4-33