Decidability of the dense timed interval temporal logic

• 稠密时间区间时序逻辑的可满足性判定