刘壮虎 刘佳秋 何纯秀 徐秋华

实推理规则 更新函数 邻域语义 禁自返 认知逻辑 语义 弱推理规则 框架完全性 强推理规则 否定 L1-极小系统 虚推理规则 框架可靠性 语义条件 条件句 有序邻域语义 系统 动态否定 完全性 概率语义 认知 可靠性 知道 逻辑刻画 模态系统 理解 静态否定 条件句系统 L-极小系统 动态认知逻辑

中山大学逻辑与认知研究所 厦门大学哲学系 西南大学逻辑与智能研究中心 广东广州 北京大学哲学系