他连A都知道——认知逻辑EK1-EK3  

He even knew A-Epistemic Logic EK1-3

作　　者：李小五[1] 

机构地区：[1]中山大学逻辑与认知研究所中山大学哲学系,广东广州510275

出　　处：《现代哲学》2006年第1期122-132,共11页Modern Philosophy

基　　金：教育部哲学社会科学研究重大课题攻关项目(04JZD0006)成果之一

摘　　要：首先,我们构造认知系统EK1-EK3,给出它们的一些证明论结果。其次,我们引入邻域语义,给出EK1-EK3的特征公理和规则的框架条件,证明EK1-EK3相对这些框架条件分别是框架可靠的。最后,我们证明EK1-EK3相对这些框架条件分别是框架完全的。Firstly, we construct the epistemic systems EK1-EK3, give some results of their proof theory. Secondly, we introduce the neighborhood semantics, give the frame conditions of the character axioms and rules of EK1-EK3, prove the frame soundness of EK1-EK3 with respect to the frame conditions, respectively. Finally, we prove the frame completeness of EK1-EK3 with respect to the frame conditions, respectively.

关 键 词：认知系统 邻域语义 框架可靠性 框架完全性 EK1-EK3 认知逻辑 

分 类 号：B815.1[哲学宗教—逻辑学]