论文部分内容阅读
本文在公开宣告逻辑的基础上引入B Kooi, J van Benthem[2004]提出的相对化公共知识，并且考虑群体隐含知识，通过归约的方法建立一个带有相对化公共知识和群体隐含知识的公开宣告逻辑系统。
一个带有群体知识的公开宣告逻辑系统
【摘 要】
：
本文在公开宣告逻辑的基础上引入B Kooi, J van Benthem[2004]提出的相对化公共知识，并且考虑群体隐含知识，通过归约的方法建立一个带有相对化公共知识和群体隐含知识的公开宣
【机 构】
：
西南大学逻辑与智能研究中心，重庆400715
【出 处】
：
第二届两岸逻辑教学学术会议
【发表日期】
：
2006年10期
其他文献
徐叙瑢,中国科学院院士,发光学家。1922年4月出生,山东临沂人。1945年毕业于西南联合大学物理系。1955年获苏联科学院列别捷夫物理研究所物理数学副博士学位。1980年当选为中
胡筠1898年2月出生于湖南平江县一户士绅家庭。由于是独生女，极受其父宠爱，从小便获名师启蒙，熟读四书五经。1924年秋，胡筠考入平江县城启明女子师范学校，1925年底加入中国共产党。1926年8月，叶挺的北伐先遣团攻克平江县城，中共平江县委派胡筠到叶挺部队政治处做宣传工作。她毅然放弃未修完的学业，随新组建的宣传队奔赴北伐前线。她写标语、办快报、教军歌、编快板，极大鼓舞了指战员们的士气。胡筠有时还
本文旨在阐述逻辑全能问题的各种表现形式以及解决该问题的不同方案。对于解决方案，本文主要从逻辑的三个方面来加以阐述：(1)语形方面。这主要是通过对初始公理和初始推理规则