Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Over the last two decades, there has been an extensive study of logical formalisms on
specifying and verifying real-time systems. Temporal logics have been an important …

The name" temporal logic" may sound complex and daunting; but while they describe
potentially complex scenarios, temporal logics are often based on a few simple, and …

Publisher Summary This chapter presents many ways in which temporal phenomena can be
modeled, described, reasoned about, and applied. The chapter describes the use of …

Constraint LTL, a generalisation of LTL over Presburger constraints, is often used as a
formal language to specify the behavior of operational models with constraints. The freeze …

Publisher Summary Temporal logic is one of the classic branches of modal logic. It is
remarkably fruitful in the issues it has raised, the results it has given rise to, and as an …

The aim of this paper is to summarize and analyze some results obtained in 2000–2001
about decidable and undecidable fragments of various first-order temporal logics, give some …

We investigate a class of first-order temporal-epistemic logics for reasoning about multi-
agent systems. We encode typical properties of systems including perfect recall …

Until recently, First-Order Temporal Logic (FOTL) has been only partially understood. While
it is well known that the full logic has no finite axiomatisation, a more detailed analysis of …

As a remedy for the bad computational behaviour of first-order temporal logic (FOTL), it has
recently been proposed to restrict the application of temporal operators to formulas with at …