Temporal Patterns and Modal Structure
Johan van Benthem

Abstract:
Temporal logic arose at the border of philosophy and linguistics. From the 
seventies onward, it became a major tool also in computer science and artificial
intelligence, which have become 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 point out some new types of open research questions.