1·Linear temporal logic is an established discipline.
线性时序逻辑是一个已经确立的规则。
2·And here is a bit of temporal logic for you. It is raining today.
这里有点时序逻辑，今天下雨。
3·Temporal logic always has the ability to reason about a time line.
时序逻辑总是有能力原因时限。
4·And that's because of the temporal logic that's how the logic of time works.
那是因为时序逻辑，时间的逻辑就是这样运作的。
5·In a temporal logic, statements can have a truth value which can vary in time.
在时序逻辑，报表可以有真值，可以在不同的时间。
6·We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.
定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。
7·Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
8·The aim of this article is to establish the completeness theorem of elementary first-order temporal logic.
本文的目的是：为基本的一阶时态逻辑建立一个完备性定理。
9·The systems are usually described by the timed automata and the properties are specified by the temporal logic.
这类系统通常用时间自动机来表示，而它们的性质则用时序逻辑公式表示。
10·We may also use the first-order temporal logic to set some specific formal systems for various fields of studies.
我们也能使用一阶时态逻辑，为各种研究领域建立一些特定的形式系统。