Moodle - Summa Logicae XXI

Identidad

En este curso aprenderemos varios lenguajes lógicos, tanto su semántica formal, en modelos pertinentes  como sus cálculos deductivos. Consta de:

1. ML Introducción teórica y práctica a las lógicas modales proposicionales, sus aplicaciones su alcance y sus limitaciones.
2. HL La lógica híbrida, sus aplicaciones y conexiones con la lógica descriptiva y la web semántica
3. TT  Teoría de Tipos
4. HTT Teoría híbrida de tipos