您的位置： 专家智库 > >

国家社会科学基金(2007ZXC49)

作品数：1 被引量：0H指数：0
相关作者：万小龙更多>>
相关机构：华中科技大学更多>>
发文基金：国家社会科学基金国家留学基金更多>>
相关领域：哲学宗教更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇哲学宗教

主题

  • 1篇羽翼
  • 1篇真值函数
  • 1篇值函数
  • 1篇逃逸
  • 1篇模态
  • 1篇函数
  • 1篇变元

机构

  • 1篇华中科技大学

作者

  • 1篇万小龙

传媒

  • 1篇淮阴师范学院...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
现代模态逻辑的形式分析初步——魔态羽翼的跨世界逃逸与“刑师”分析下的在劫难逃
2012年
现代模态逻辑其实是按一阶逻辑公理和规则对经典真值函数做分类研究。模态命题逻辑中任一个可能世界集W仅表示与某一公理模式相应的一组二真值函数,相应的可能世界间的关系R就是这组真值函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数式按K-2分别依次代入该公理模式中的每一个"□",使得形成一组经典定理。
万小龙
全选 清除 导出
共1页<1>
聚类工具0