Logic Explanation for Time Travel