Al principio de su carrera, creó una semántica de la lógica modal esencialmente análoga a la semántica de marco de Kripke, y descubrió el hoy ampliamente difundido tableau semántico, en forma independiente de Evert Willem Beth.