定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。

We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.

youdao

首先定义了一种新的适用于描述区间时序逻辑程序语言语义的表达式格局和命令格局。

This thesis then investigates the operational semantics of MSVL. A new configuration with intervals for MSVL programs is defined.

youdao