全部

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.

我们也能使用一阶时态逻辑，为各种研究领域建立一些特定的形式系统。