Talk:Interval temporal logic
 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
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)