The Logic of Time (Reidel, 1983)
Van Benthem.