Jump to content

Talk:Interval temporal logic

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is the current revision of this page, as edited by Cewbot (talk | contribs) at 23:45, 3 February 2024 (Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "Stub" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{WikiProject Computing}}.). The present address (URL) is a permanent link to this version.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Interval_temporal_logic&oldid=1202983733"