Temporal Logic in Information Systems [chapter]

Jan Chomicki, David Toman
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