Posts an abstract and table of contents for a paper on how temporal logic is obtained by adding temporal connectives to a logic language. Download the full version.

Computer Science Laboratory in Menlo Park, CA present notes from a lecture on new temporal logic that can specify properties of hardware at the register transfer level.

Online encyclopedia looks at modal-logic and predicate-logic approaches to temporal logic. With info on its applications in computer science, AI, and natural language.

Download files of this technical report on applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building

Access a repository of past, present, and future issues of this symposium that brings together researchers in the area of temporal representation and reasoning in AI.