Concept
Interval temporal logic
Overview
Interval temporal logic (also interval logic) is a temporal logic for representing both propositional and first-order logical reasoning about periods of time that is capable of handling both sequential and parallel composition. Instead of dealing with infinite sequences of state, interval temporal logics deal with finite sequences.
Interval temporal logic finds 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. It is useful in the formal description of hardware and software for computer-based systems. Tools are available to aid in this process. Tempura provides an executable ITL framework. Compositionality is a significant issue and consideration in the design of ITL.
Notable derivatives of interval temporal logic are graphical interval logic, signed interval logic and future interval logic.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Possible passages
Found by search and not yet checked by a person; they may only mention the idea in passing.
The copula is the sign denoting that there is an affirmation or denial; and thereby enabling the hearer or reader to distinguish a proposition from any other kind of discourse. Thus, in the proposition, The earth is round, the Predicate is the word _round_, which denotes the quality affirmed, or (as the phrase is) predicated: _the earth_, words denoting the object which that quality is affirmed of, compose the…
John Stuart Mill, A System of Logic
States what Interval temporal logic is.
Two neighbouring events have a measurable quantitative relation called “interval”, which is sometimes analogous to distance in space, sometimes to lapse of time. In the former case it is called space-like, in the latter time-like. The interval between two events is time-like when one body might be present at both--for example, when both are parts of the history of your body. The interval is space-like in the…
Bertrand Russell, Philosophy
States what Interval temporal logic is.
The interval is what he would judge to be the distance in space between the two events. Such an interval is called “space-like.” (3) It may be physically possible for a body to travel so as to be present at both events; in that case, the interval between them is what an observer on such a body will judge to be the time between them. Such an interval is called “time-like.” The interval between two events is a…
Bertrand Russell, The A B C of Relativity
States what Interval temporal logic is.
Related ideas
- First-order logic
- Artificial intelligence
- Propositional logic
- Linguistics
- Stanford University
- Temporal logic
- Logic
- Computer science
- Principle of compositionality
Place in the tradition
Part of Temporal logic.