Interval temporal logics find application in computer science, artificial intelligence and linguistics.
First-order interval temporal logic was initially developed in the 1980s for the specification and verification of hardware protocols.
Interval temporal logic (ITL) is a specific form of temporal logic, originally developed by Ben Moszkowski for his thesis at Stanford University.
[1] It is useful in the formal description of hardware and software for computer-based systems.
Compositionality is a significant issue and consideration in the design of ITL.