First order modal temporal logics with generalized intervals

2002 ◽  
Author(s):  
G. Becher
Keyword(s):  
Temporal Logics ◽  
First Order

The power of first-order quantification over states in branching and linear time temporal logics

2004 ◽  
Vol 91 (5) ◽  
pp. 201-210 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Pallab Dasgupta ◽  
P.P Chakrabarti
Keyword(s):  
Linear Time ◽  
Temporal Logics ◽  
First Order

A review of temporal logics

1989 ◽  
Vol 4 (2) ◽  
pp. 141-162 ◽  
Author(s):  
Derek Long
Keyword(s):  
Artificial Intelligence ◽  
Temporal Logic ◽  
Temporal Reasoning ◽  
Order Logic ◽  
First Order Logic ◽  
Temporal Logics ◽  
Detailed Review ◽  
First Order ◽  
Reasoning Tasks

AbstractA series of temporal reasoning tasks are identified which motivate the consideration and application of temporal logics in artificial intelligence. There follows a discussion of the broad issues involved in modelling time and constructing a temporal logic. The paper then presents a detailed review of the major approaches to temporal logics: first-order logic approaches, modal temporal logics and reified temporal logics. The review considers the most significant exemplars within the various approaches, including logics due to Russell, Hayes and McCarthy, Prior, McDermott, Allen, Kowalski and Sergot. The logics are compared and contrasted, particularly in their treatments of change and action, the roles they seek to fulfil and the underlying models of time on which they rest. The paper concludes with a brief consideration of the problem of granularity—a problem of considerable significance in temporal reasoning, which has yet to be satisfactorily treated in a temporal logic.

scholarly journals First-Order and Temporal Logics for Nested Words

2008 ◽  
Vol 4 (4) ◽  
Author(s):  
Rajeev Alur ◽  
Marcelo Arenas ◽  
Pablo Barcelo ◽  
Kousha Etessami ◽  
Neil Immerman ◽  
...  
Keyword(s):  
Temporal Logics ◽  
First Order ◽  
Nested Words

scholarly journals Decidable fragments of first-order temporal logics

2000 ◽  
Vol 106 (1-3) ◽  
pp. 85-134 ◽  
Author(s):  
Ian Hodkinson ◽  
Frank Wolter ◽  
Michael Zakharyaschev
Keyword(s):  
Temporal Logics ◽  
First Order
Sign in / Sign up

Export Citation Format

Share Document