Temas Subtemas
Introducción a los sistemas lógicos Lógica Proposicional y Lógica de Primer Orden
Satisfactibilidad (SAT) y complejidad
Lógicas de Orden Superior
Lógica modal e intuicionista Introducción a la lógica modal
Lógicas epistémicas
Lógicas temporales: lógica temporal lineal, CTL*, lógica dinámica
Lógica intensional
Lógica intuicionista
Razonamiento automático Probadores de teoremas
Model checking
Tableros semánticos
Lógicas multivaluadas. Lógica Fuzzy Lógicas multivaluadas
Lógica Fuzzy
Lógica Descriptiva y Ontologías Lógica Descriptiva y Ontologías
Razonamiento no monótono y revisión de creencias Circunscripción
Lógica Default
Lógica modal no monótona
Revisión de creencias