Original: Later in his life he emigrated to the United States to escape the effects of World War II .
Simplified: He did this by clarifying the connections between classical logic , intuitionistic logic , and modal logic .