Recibió su D.Phil y B.Phil en filosofía de la Universidad de Oxford en 1979 por sus investigaciones sobre lógica modal y no-clásica.