Temporal and Modal Logic Programming Languages
Manolis Gergatsoulis, S R Demokritos, Aghia Paraskevi Attikis · 2002
Temporal and modal logics have been used in many applications in Artificial Intelligence and Computer Science for the manipulation of information with timedependent or, in general, context-dependent properties. Knowledge representation and reasoning, temporal planning, simulation, temporal verification, and description of agent systems, are among the applications for which temporal and modal logics have been proven useful. Programming languages based on Temporal or Modal Logics, provide powerful executable formalisms for implementing such applications.