Talk:Interval temporal logic

ITL is not Halpern and Shoham's logic?
Halpern and Shoham defined a temporal logic for intervals in https://dl.acm.org/citation.cfm?id=115351 The wikipedia article should refer to that logic, shouldn't it? --Fschwarzentruber (talk) 17:40, 1 July 2019 (UTC)