时间点

无限绵延的时间之流中的一个个瞬息。所有P-F时态逻辑都是基于时间点之上的，是关于时间点的逻辑，这可以从它们对时态命题成真条件的定义中看出来。令μ=＜X，R，V＞，这里X为时间点集，其元素为一个个时间点x，y，z，……；R为时间先后关系，V为赋值，表示公式α在模型μ中的时间点x上真。所有P-F时态逻辑都包括下述语义定义：

这些定义是说：Gα在模型μ中的时间点x上真，当且仅当，α在x之后的所有时间点上真；H在μ中的时间点x上真，当且仅当，α在x之前的所有时间点上真；F在μ中的时间点x上真，当且仅当，α在x之后的某些时间点上真；P在μ中的时间点x上真，当且仅当，α在x之前的某些时间点上真。显然，这里时态命题的真是相对于时间点来定义的。