引入新的时态算子，描述一些系统状态在外部动作影响下的某种不变性。

Open temporal logic introduces new path operators to specify internal parts and external parts, and introduces one new temporal operator to ensure some invariants during some external actions.

youdao

进而分析时态区间和时间点并描述两者间时态关系，并引入时态算子描述这些关系。

In addition, the Temporal Interval and Time Point are analyzed and their temporal relations are described with the Temporal Operators.

youdao

进而分析时态区间和时间点并描述两者间时态关系，并引入时态算子描述这些关系。

In addition, the Temporal Interval and Time Point are analyzed and their temporal relations are described with the Temporal Operators.

youdao