A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf
.
Temporal Logic in Information Systems
[chapter]
1998
Logics for Databases and Information Systems
Temporal logic is obtained by adding temporal connectives to a logic language. Explicit references to time are hidden inside the temporal connectives. Different variants of temporal logic use different sets of such connectives. In this chapter, we survey the fundamental varieties of temporal logic and describe their applications in information systems.
doi:10.1007/978-1-4615-5643-5_3
fatcat:bmtv3r7w2bbtfldaxefnqmsbou