隐含时态化条件句的形式语义学

摘要：

条件句中的时态因素通过隐含时态化条件句的形式语义学而得到处理，由此得到一种不使用时态概念的时态化条件句逻辑，呈现一些关于条件句的形式原理。经典条件句逻辑忽略了时态因素。分枝时间结构上的条件句逻辑以时间结构来解释条件句，在条件句中增加时态概念，这是外在论语义学的代表。隐含时态化条件句逻辑是通过对选择函数的时态化得到的，而没有明确引入时态概念。

关键词：隐含时态化条件句、分枝时间结构、条件句逻辑、时态逻辑、形式语义学

所属期刊栏目：42

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

资助基金：国家社会科学基金重大项目“信息互动的逻辑、认知与计算研究”14ZDB016;首席专家何向东。

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

页数：共5页

页码：34-38