Talk:Interval temporal logic

Latest comment: 5 years ago by Fschwarzentruber in topic ITL is not Halpern and Shoham's logic?

ITL is not Halpern and Shoham's logic?

edit

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)Reply