Pruebas interesantes para una lógica multi-modal multi-agente : un caso de estudio sobre completitud

Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2015.

Introducción -- El sistema en estudio -- El lenguaje -- La perspectiva semántica -- Satisfacción y validez para las fórmulas -- Características de los modelos para Lnorm -- Características de los modelos para Lnon -- La perspectiva sintáctica -- Los sistemas KLnorm y KLLR norm -- Los sistemas CLnon y CLLR non -- Completitud -- Preliminares -- El método del modelo canónico -- El modelo canónico para KLnorm -- KLLR es completo con respecto a MLR norm -- El modelo canónico para CLnon -- CLLR es completo con respecto a M LR non -- Extractos sobre decibilidad -- Decibilidad para KLnorm y KLLRnorm -- Decibilidad para CLnon y CLLR non -- Conclusiones y algo mas -- Bibliografía