王轶

K-系统 典范框架 典范性 封闭框架类 单纯性 Kn-系统 逻辑蕴涵 反单调性 典范模型 有限模型性质 证据对立 模拟 认知逻辑语义 相对化 一致性 理论 强否定 标准的可能世界语义学语义 邻域语义 保守性 典范模。 模态逻辑系统 弱否定 否定 逻辑全能 实质蕴涵

中国人民大学哲学系 中国人民大学哲学院 北京大学哲学系