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  -