模态对应理论述评

摘要：

模态逻辑的关系语义（也称克里普克语义）起源于20世纪60年代左右关于模态词的解释，其主要特征是，与之前的模态代数理论相比，作为一种塔尔斯基式的语义，使模态句法对象与语义结构之间的联系变得明确起来。在模型层次上，模态算子的语义是使用一阶量词和结构上的二元关系来解释的，因此模态词本质上就是“局部”量词，即对当前状态的所有后继状态进行量化。从语义的角度看，

关键词：模态词、语义结构、述评、对应、60年代、20世纪、克里普克、模态逻辑

分类号：B81(逻辑学(论理学))

资助基金：重庆市重点文科基地项目2010-2012

在线出版日期：2012-04-28（万方平台首次上网日期，不代表论文的发表时间）

页码：97-101