您的位置： 专家智库 > >

李小燕

作品数：1 被引量：0H指数：0
供职机构：中国科学院研究生院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇可满足性
  • 1篇闭包
  • 1篇CANONI...
  • 1篇FISHER
  • 1篇MODEL

机构

  • 1篇中国科学院研...
  • 1篇中国科学院软...
  • 1篇中国科学院大...

作者

  • 1篇柳欣欣
  • 1篇李小燕

传媒

  • 1篇计算机应用与...

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
命题模态逻辑的模型构造和完备性证明
2014年
模态逻辑是研究必然、可能及其相关概念的逻辑。模态公式的可满足性问题和证明系统的完备性问题是模态逻辑中的两个经典的问题。为了解决这两个问题,提出一个构造模态公式的canonical model的方法。通过这个方法,对于给定模态公式φ,如果φ是可满足的,可以得到φ的一个canonical model;如果φ是不可满足的,可以得到φ的证明。此外,还给出命题模态逻辑完备性的一个构造性证明方法。
柳欣欣李小燕
关键词：CANONICALMODEL可满足性
全选 清除 导出
共1页<1>
聚类工具0