TY - BOOK AU - Carbonari,Francisco Eduardo Daniel AU - Smith,Clara Patricia TI - Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud PY - 2015/// KW - SISTEMAS MULTIAGENTES KW - MATEMÁTICA DE LA COMPUTACIÓN KW - lógicas modales KW - semánticas tipo kripke KW - semánticas tipo neighbourhood KW - completitud KW - decibilidad KW - combinación de lógicas N1 - 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 UR - http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1193 ER -