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

摘要

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