Carbonari, Francisco Eduardo Daniel <br/><br/>
Pruebas interesantes para una lógica multi-modal multi-agente :  un caso de estudio sobre completitud 

 -  2015 
 - 43 p.  +  1 DVD 
<br/><br/>Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2015. 
<br/><br/>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 
<br/><br/><label>Standard No.: </label>DIF-M7064 
<br/><br/><label>Subjects--Topical Terms: </label><br/>SISTEMAS MULTIAGENTES<br/>MATEMÁTICA DE LA COMPUTACIÓN
<br/><br/><label>Subjects--Index Terms: </label>lógicas modales semánticas tipo kripke semánticas tipo neighbourhood completitud decibilidad combinación de lógicas