时间结构

时间要素之间相对稳定的组织方式或联系方式；在时态逻辑中，指关于时间的先后关系所作的种种假定。人们通常认为，先后关系R是一种序关系，即它是传递的、非自返的、非对称的，但在时态逻辑中，它却可以具有某些特殊的性质。不同的时态逻辑建立在关于先后关系R的不同假定之上，概括起来，这些假定有：

(B0)反对称性xy(xRy∧yRx)

(B1)传递性xyz(xRy∧yRz→xRz)

(B2)可比较性xy(xRy∨x=y∨yRx)

(B3)(a)有终性xy(yRx∨y=x)

　　(b)有始性xy(xRy∨x=y)

(B4)(a)无终性xy(xRy)

　　(b)无始性xy(yRx)

(B5)稠密性xy(xRy→z(xRz∧zRy))

(B6)离散性

　　(a)有后继xy(xRy∧z(xRz∧zRy))

　　(b)有前驱xy(yRx∧z(yRz∧zRx))

(B7)完全性

(B8)良基性∪(x∪(x)→x(∪(x)∧y(yRx→∪(y)))

(B9)有界性

　　(a)上界xyz(xRz∧yRz)

　　(b)下界xyz(zRx∧zRy)

(B10)自返性x(xRx)

(B11)对称性xy(xRy→yRx)

(B12)连通性xy(xRy∨yRx)

(B13)右线性xyz(xRy∧xRz→y=z∨yRz∨zRy)

(B14)左线性xyz(yRx∧zRx→y=z∨yRz∨zRy)

线性时态逻辑要求先后关系R传递且连通，或传递、右线性或左线性；枝形时态逻辑要求R传递但不连通；循环时态逻辑要求R传递、自返且对称。关于时间结构(在这里即为先后关系R)的不同假定反映着不同的时间哲学观，因此，不同的时态逻辑实际上是建立在不同的时间哲学观之上的。