Special issue on Temporal Logic in Logic and Computer Science - Editorial