他连A都知道——认知逻辑EK1-EK3
He even knew A-Epistemic Logic EK1-3作者机构：中山大学逻辑与认知研究所中山大学哲学系广东广州510275
出 版 物：《现代哲学》 (Modern Philosophy)
年 卷 期：2006年第1期
页 面：122-132页
核心收录：
学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学]
基 金：教育部哲学社会科学研究重大课题攻关项目(04JZD0006)成果之一
主 题：认知系统 邻域语义 框架可靠性 框架完全性 EK1-EK3 认知逻辑
摘 要：首先,我们构造认知系统EK1-EK3,给出它们的一些证明论结果。其次,我们引入邻域语义,给出EK1-EK3的特征公理和规则的框架条件,证明EK1-EK3相对这些框架条件分别是框架可靠的。最后,我们证明EK1-EK3相对这些框架条件分别是框架完全的。
维普期刊数据库
同方期刊数据库