群体简单宣告逻辑  

Group Simple Announcement Logic

作　　者：徐康 王轶[2] Kang Xu;YìN Wáng(Zhejiang University of Water Resources and Electric Power;Philosophy Department Center for the Study of Language and Cognition Zhejiang University)

机构地区：[1]浙江水利水电学院社科部 [2]浙江大学哲学系,语言与认知研究中心

出　　处：《逻辑学研究》2018年第1期1-22,共22页Studies in Logic

基　　金：国家社科基金青年项目(16CZX048)

摘　　要：群体宣告逻辑在公开宣告逻辑基础上增加用于刻画群体宣告的算子,其中的"群体宣告"是指群内个体的一阶或高阶知识被同时、公开、真实地宣告。然而,很多场合下通常并不接受个体宣告高阶知识。本文所探讨的群体简单宣告逻辑只允许群内个体宣告一阶知识,这与此前版本在一些性质上存在差别。文章的主要成果是群体简单宣告逻辑的表达能力和公理系统等结论,以及对有穷规则在群体宣告逻辑中不可靠、但在群体简单宣告逻辑中具有可靠性的证明。Group announcement logic(GAL)extends public announcement logic with group announcement operators,where a“group announcement”is a combination of first-or higher-order knowledge being simultaneously,publicly and truthfully announced by a given group of agents.In real situation,however,group announcements of higher-order knowledge is often not allowed.We introduce a variant of group announcement logic,called Group Simple Announcement Logic(GSAL),which only allows group announcements of first-order knowledge,and differs from GAL in some logical properties.Main achievements of this paper is the expressivity results and complete axiomatization of GSAL,including a proof of the unsoundness of a finitary rule in GAL and its soundness in GSAL.

关 键 词：认知逻辑 模态逻辑 公开宣告逻辑 群体宣告逻辑 群体简单宣告 

分 类 号：B81[哲学宗教—逻辑学]