Jump to content

Interval temporal logic

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by BRW (talk | contribs) at 12:34, 3 May 2005. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Interval temporal logic (also Interval logic) is a temporal logic for representing both propositional and first-order reasoning about periods of time that is capable of handling both sequetntial and parallel composition. Instead of dealing with infinite sequences of state, interval temporal logics deal with finite sequences.

Interval temporal logics find application in Computer science, Artificial Intelligence and Linguistics. First-order interval temporal logic was initialy developed in 1980s for specification and verification of hardware protocols.

Notable derivatives of interval temporal logic are Graphical interval logic, Signed interval logic and Future interval logic.

Stub icon

This mathematics-related article is a stub. You can help Wikipedia by expanding it.

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