一个带有群体知识的公开宣告逻辑系统

摘要：

本文在公开宣告逻辑的基础上引入B Kooi, J van Benthem”2004”提出的相对化公共知识，并且考虑群体隐含知识，通过归约的方法建立一个带有相对化公共知识和群体隐含知识的公开宣告逻辑系统。

关键词： 群体知识 相对化公共知识 群体隐含知识 公开宣告逻辑

作者: 郭美云

作者单位: 西南大学逻辑与智能研究中心，重庆 400715

会议类型: 国内会议

会议名称: 第二届两岸逻辑教学学术会议

会议地点: 南京

会议语种:中文

页码: 449-461

在线出版日期: 2006-10-28（万方平台首次上网日期，不代表论文的发表时间）