000			01779nam a2200301 a 4500
003			AR-LpUFIB
005			20250311170431.0
008			230201s2015 ag rm 000 0 spa d
024	8		_aDIF-M7064 _b7247 _zDIF006445
040			_aAR-LpUFIB _bspa _cAR-LpUFIB
100	1		_aCarbonari, Francisco Eduardo Daniel
245	1	0	_aPruebas interesantes para una lógica multi-modal multi-agente : _bun caso de estudio sobre completitud
260			_c2015
300			_a43 p. + _e1 DVD
502			_a Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2015.
505	0		_a 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
650		4	_aSISTEMAS MULTIAGENTES
650		4	_aMATEMÁTICA DE LA COMPUTACIÓN
653			_alógicas modales
653			_asemánticas tipo kripke
653			_asemánticas tipo neighbourhood
653			_acompletitud
653			_adecibilidad
653			_acombinación de lógicas
700	1		_aSmith, Clara Patricia , _eDirector/a
856	4	0	_u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1193
942			_cTE
999			_c56224 _d56224