Diploma de Estudos Avançados em Matemática

Desenvolver a teoria algébrica da lógica modal.