Modeling, Consistency and Inference of Extended Interval Temporal Logic

• 扩展时段时序逻辑的模型、一致性和推理