| 他连A都知道--认知逻辑EK1-EK3 |
| |
| 引用本文： | 李小五.他连A都知道--认知逻辑EK1-EK3[J].现代哲学,2006(1):122-132. |
| |
| 作者姓名： | 李小五 |
| |
| 作者单位： | 中山大学逻辑与认知研究所,中山大学哲学系,广东,广州,510275 |
| |
| 基金项目： | 教育部哲学社会科学研究重大课题攻关项目(04JZD0006)成果之一 |
| |
| 摘 要： | 首先,我们构造认知系统EK1-EK3,给出它们的一些证明论结果。其次,我们引入邻域语义,给出EK1-EK3的特征公理和规则的框架条件,证明EK1-EK3相对这些框架条件分别是框架可靠的。最后,我们证明EK1-EK3相对这些框架条件分别是框架完全的。
|
| 关 键 词： | 认知系统 邻域语义 框架可靠性 框架完全性 |
| 文章编号： | 1000-7660（2006）01-0122-11 |
He even knew A--Epistemic Logic EK1-3 |
| |
| Li xiaowu.He even knew A--Epistemic Logic EK1-3[J].Modern Philosophy,2006(1):122-132. |
| |
| Authors: | Li xiaowu |
| |
| Abstract: | 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. |
| |
| Keywords: | epistemic system neighborhood semantics frame soundness frame completeness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
