Book review: Temporal logic. From ancient ideas to artificial intelligence