Linear temporal logic is a formal description language of the dynamic semantics by of the concurrent or the reactive program.It suits for precisely representing the dynamic semantics of a model.

• 线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言，它适合用来精确地表示模型的动态语义。