时间段

无限绵延的时间之流中的一个个区间。P-F时态逻辑是基于时间点之上的，20世纪80年代以后有一些逻辑学家正试图发展一种基于时间段的时态逻辑。他们认为，这种时态逻辑可能会是更适用的，因为任何事件都显现出阶段性或表现为过程，并且从哲学上看，时间段也比时间点更为基本。L．休姆伯斯通1979年在《时态逻辑的时段语义学》一文中、范·边沁(J．F．A．K．Van Benthem)1983年在《时间逻辑》一书中、J．P．波杰斯1982年在《时态逻辑公理Ⅰ：“自从”和“直至”》一文中、以及中国青年学者徐明1988年在《论若干U－S时态逻辑》一文中，都探讨了基于时段的时态逻辑。U－S时态逻辑就是一种基于时段的时态逻辑，它是通过引入二元时态算子U(直至)和S(自从)以及相应的公理和规则对经典逻辑进行扩充所得到的逻辑系统(参见U-S时态逻辑)。