Understanding temporal logics expressive powers is very helpful for writing corrective temporal formula that are based on systems properties.

• 时态逻辑的不同变体有不同描述能力。正确理解时态逻辑的描述能力有助于书写系统特性的正确时态逻辑公式特性。