Redirecting to Temporal logic of actions