%0 Journal Article
%T 群体简单宣告逻辑<br>Group Simple Announcement Logic
%A 徐康
%A 王轶&lt
%A br&gt
%A Kang Xu
%A Yì N. Wáng
%J 逻辑学研究
%D 2018
%X 摘要：群体宣告逻辑在公开宣告逻辑基础上增加用于刻画群体宣告的算子，其中的“群体宣告”是指群内个体的一阶或高阶知识被同时、公开、真实地宣告。然而，很多场合下通常并不接受个体宣告高阶知识。本文所探讨的群体简单宣告逻辑只允许群内个体宣告一阶知识，这与此前版本在一些性质上存在差别。文章的主要成果是群体简单宣告逻辑的表达能力和公理系统等结论，以及对有穷规则在群体宣告逻辑中不可靠、但在群体简单宣告逻辑中具有可靠性的证明。<br
%K 认知逻辑
%K 模态逻辑
%K 公开宣告逻辑
%K 群体宣告逻辑
%K 群体简单宣告
%K &lt
%K br&gt
%U https://studiesinlogic.sysu.edu.cn/CN/abstract/abstract311.shtml