Il a également travaillé en logique modale, topologie, et théorie des catégories.
Il a publié de nombreux articles sur ces sujets et a contribué à la fondation de la logique modale, en particulier dans le domaine de la sémantique modale. Ses travaux ont eu un impact significatif sur la logique mathématique contemporaine.