Temporal patterns and modal structure
Johan van Benthem · Logic Journal of IGPL · 1999
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. Keywords:bisimulation, temporal languages, tree unraveling, bounded quantifier, path geometry, dynamic evaluation, dynamic representation.