您的位置： 专家智库 > >

中国博士后科学基金(2013M542251)

作品数：1 被引量：1H指数：1
相关作者：董英东更多>>
相关机构：西南大学毕节学院更多>>
发文基金：中国博士后科学基金贵州省优秀科技教育人才省长资金项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇有穷
  • 1篇朴素
  • 1篇模态逻辑

机构

  • 1篇毕节学院
  • 1篇西南大学

作者

  • 1篇董英东

传媒

  • 1篇辽宁工程技术...

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
模态逻辑中转换结构的局限性被引量：1
2014年
针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽然这两个系统无法用关系语义进行区分,但利用一般框架可知KY和KZ是有区别的.KY和KZ证明了在加标转换结构和模态系统之间有一些不相符合的地方,具有一定的局限性.
董英东
关键词：模态逻辑
全选 清除 导出
共1页<1>
聚类工具0