Advances in Temporal Logic