[PDF][PDF] Dealing with multiple granularity of time in temporal logic programming
C Liu, MA Orgun - Journal of Symbolic Computation, 1996 - core.ac.uk
C Liu, MA Orgun
Journal of Symbolic Computation, 1996•core.ac.ukAn important activity in computer science is the invention, analysis and application of formal
logics which are designed to specify, reason about and represent algorithms, programs and
systems. Recently, there is a substantial interest in temporal logic which has been widely
used as a formalism for program specification and verification (. Manna and. Pnueli,. 1981),
reasoning about time (. Sadri,. 1987) and modeling temporal databases (. Chomicki,. 1994;.
Gabbay and. McBrien. 1991;. Gagné and. Plaice,. 1995). Some researchers have recently …
logics which are designed to specify, reason about and represent algorithms, programs and
systems. Recently, there is a substantial interest in temporal logic which has been widely
used as a formalism for program specification and verification (. Manna and. Pnueli,. 1981),
reasoning about time (. Sadri,. 1987) and modeling temporal databases (. Chomicki,. 1994;.
Gabbay and. McBrien. 1991;. Gagné and. Plaice,. 1995). Some researchers have recently …
An important activity in computer science is the invention, analysis and application of formal logics which are designed to specify, reason about and represent algorithms, programs and systems. Recently, there is a substantial interest in temporal logic which has been widely used as a formalism for program specification and verification (. Manna and. Pnueli,. 1981), reasoning about time (. Sadri,. 1987) and modeling temporal databases (. Chomicki,. 1994;. Gabbay and. McBrien. 1991;. Gagné and. Plaice,. 1995). Some researchers have recently suggested that temporal logic can be directly used as a programming language. For instance, Tokio (. Aoyagi. et al.,. 1986) is a logic programming language based on interval temporal logic; Templog (. Abadi and. Manna,. 1989;. Baudinet,. 1992) and Chronolog (. Orgun and. Wadge,. 1992) are based on linear-time temporal logics; Temporal Prolog (. Gabbay,. 1987,. 1991) is based on linear and branching time temporal logics; and Metatem (. Fisher, 1994;. Fisher and. Reynolds,. 1995) is a framework for the direct execution of temporal logics within which programs are represented as sets of temporal rules of a particular form. There are also a number of other temporal logic
core.ac.uk