Logic of Time Travel