Jump to content

Talk:Interval temporal logic

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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]