In this article, we will only consider the temporal logic that models the future as a linear sequence of events.

• 在本文中,我们将只考虑把未来当作为事件的线性序列模型的时态逻辑。