您的位置： 专家智库 > >

重庆市教育委员会人文社会科学研究项目(09SKB35)

作品数：1 被引量：4H指数：1
相关作者：陈武更多>>
相关机构：西南大学更多>>
发文基金：重庆市教育委员会人文社会科学研究项目中央高校基本科研业务费专项资金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇定理
  • 1篇范本

机构

  • 1篇西南大学

作者

  • 1篇陈武

传媒

  • 1篇西南大学学报...

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
多元模态逻辑中的范本特姆—罗森定理被引量：4
2013年
证明了在多元模态逻辑中范本特姆—罗森定理仍然成立,即:无论在经典或有限模型论意义下,一个量词深度为n的一阶公式在多元互模拟关系下保持当且仅当它逻辑等价于一个模态词深度小于2n的多元模态公式.
陈武
全选 清除 导出
共1页<1>
聚类工具0