A LABELED SEQUENT CALCULUS FOR INTERVAL TEMPORAL LOGIC

• 区间时序逻辑的标记相继式演算