He has worked also on modal logic, topology, and category theory.
Traballou tamén en lóxica modal, topoloxía e teoría de categorías.