Ha trabajado también en lógica modal, topología y teoría de categorías.