He also made important contributions to proof theory by clarifying the connections between classical logic , intuitionistic logic , and modal logic .
He did this by clarifying the connections between classical logic , intuitionistic logic , and modal logic .