您的位置： 专家智库 > >

李延军

作品数：1 被引量：0H指数：0
供职机构：格罗宁根大学更多>>
相关领域：语言文字更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇语言文字

主题

  • 1篇语义
  • 1篇弱化
  • 1篇逻辑
  • 1篇逻辑系统
  • 1篇可靠性
  • 1篇公理
  • 1篇公理系统

机构

  • 1篇格罗宁根大学

作者

  • 1篇李延军

传媒

  • 1篇逻辑学研究

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
停下即完成:“知道如何”的弱逻辑（英文）
2016年
本论文针对王彦晶提出的"知道如何"的模态算子提出了一种新的语义。与原来的语义相比,我们的语义比较弱但是却更容易实现。根据该语义,主体知道如何从状态到达状态?当且仅当主体有一个有穷的线性动作系列使得执行该动作系列停止后的状态即是目的状态。这种弱化的新语义导致了一种弱化的逻辑。原来逻辑系统里面的组合公理在我们的新语义下不再有效。我们也给出了该逻辑的一个公理系统并证明了其可靠性和完全性。同时,我们也证明了该逻辑具有可判定性。
李延军
关键词：逻辑系统公理系统语义可靠性弱化
全选 清除 导出
共1页<1>
聚类工具0