您的位置： 专家智库 > >

重庆市文科重点研究基地项目(2010-2012)

作品数：1 被引量：1H指数：1
相关作者：刘新文马明辉更多>>
相关机构：中国社会科学院哲学研究所西南大学更多>>
发文基金：重庆市文科重点研究基地项目更多>>
相关领域：哲学宗教更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇哲学宗教

主题

  • 1篇语义
  • 1篇语义结构
  • 1篇模态逻辑
  • 1篇克里普克

机构

  • 1篇西南大学
  • 1篇中国社会科学...

作者

  • 1篇马明辉
  • 1篇刘新文

传媒

  • 1篇哲学动态

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
模态对应理论述评被引量：1
2012年
模态逻辑的关系语义（也称克里普克语义）起源于20世纪60年代左右关于模态词的解释，其主要特征是，与之前的模态代数理论相比，作为一种塔尔斯基式的语义，使模态句法对象与语义结构之间的联系变得明确起来。在模型层次上，模态算子的语义是使用一阶量词和结构上的二元关系来解释的，因此模态词本质上就是“局部”量词，即对当前状态的所有后继状态进行量化。从语义的角度看，
马明辉刘新文
关键词：语义结构克里普克模态逻辑
全选 清除 导出
共1页<1>
聚类工具0