Temporal logic arose at the border of philosophy and linguistics. From the seventies onward, it because a major tool also in computer science and artificial intelligence, which have turned into the most powerful source of new logical developments since. We discuss some recent themes demonstrating new connections with modal logic. In the course of this, we also point out some new types of open research questions.

This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference (...) for both the pure logician and the theoretical computer scientist. (shrink)