宣告群組的無知來消除主體的無知——基于無知的一個群組宣告邏輯

摘要：本文提出一個基于無知的群組宣告邏輯，該邏輯是帶有宣告算子的無知邏輯加上一個基于無知的群組宣告算子的擴展，用以表達群組中的每個主體宣告他們各自的無知后什么東西為真。我們對比這一邏輯和文獻中相關邏輯的相對表達力，并研究該邏輯的框架可定義性問題。另外，我們也提出一個公理化系統(tǒng)并證明它的完全性。