Plus tard dans sa vie, il émigre aux États-Unis pour échapper aux effets de la Seconde Guerre mondiale.
Pour ce faire, il a clarifié les liens entre la logique classique, la logique intuitionniste et la logique modale.