En este curso aprenderemos varios lenguajes lógicos, tanto su semántica formal, en modelos pertinentes como sus cálculos deductivos. Consta de:
- ML Introducción teórica y práctica a las lógicas modales proposicionales, sus aplicaciones su alcance y sus limitaciones.
- HL La lógica híbrida, sus aplicaciones y conexiones con la lógica descriptiva y la web semántica
- TT Teoría de Tipos
- HTT Teoría híbrida de tipos