基于区间的三值时态逻辑

摘要：

由于许多句子的真值是相对于一定的时段或区间的,所以建立基于区间的三值时态逻辑是必要的.但是基于区问的鸟卡谢雏奇式三值时态逻辑系统(L3.1,L3.2)并不具有保均致性,于是又提出了一种能保广义基本均致性的语言(L').给出了相关的语义.

关键词：时态逻辑、三值逻辑、基于区间的时态逻辑、三值时态逻辑、保均致性

分类号：HO-05

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

页数：共5页

页码：134-138