Analizó sistemáticamente las consecuencias de la teoría de los mundos posibles.