Lógicas modales con operadores de cambio de accesibilidad

Mostrar todas las versiones(2)

Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.

Guardado en:

Detalles Bibliográficos
Autor principal:	Fervari, Raúl Alberto
Otros Autores:	Areces, Carlos Eduardo
Formato:	doctoralThesis
Lenguaje:	Español
Publicado:	2021
Materias:	Lógicas modales Operadores de cambio de accesibilidad Operadores dinámicos Poder expresivo Complejidad Decidibilidad Lógicas dinámicas epistémicas Modal logics Relation changing operators Dynamic operators Expressive power Complexity Decidability Dynamic epistemic logics
Acceso en línea:	http://hdl.handle.net/11086/19804
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

id	I10-R141-11086-19804
record_format	dspace
spelling	I10-R141-11086-198042023-08-31T13:17:38Z Lógicas modales con operadores de cambio de accesibilidad Fervari, Raúl Alberto Areces, Carlos Eduardo Lógicas modales Operadores de cambio de accesibilidad Operadores dinámicos Poder expresivo Complejidad Decidibilidad Lógicas dinámicas epistémicas Modal logics Relation changing operators Dynamic operators Expressive power Complexity Decidability Dynamic epistemic logics Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. Fil: Fervari, Raúl Alberto. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física; Argentina. En esta tesis investigamos operadores modales dinámicos que pueden cambiar el modelo durante la evaluación de una fórmula. En particular, extendemos el lenguaje modal básico con modalidades que son capaces de invertir, borrar o agregar pares de elementos relacionados. Investigamos varias propiedades de los lenguajes introducidos desde un punto de vista abstracto. Por ejemplo, se investiga el poder expresivo de las lógicas introducidas usando bisimulaciones. También se investiga el comportamiento computacional de las mismas (satisfactibilidad, model checking, tableaux). Por último, se discute un contexto concreto en el que pueden aplicarse las lógicas modales que cambian la relación: Lógicas Dinámicas Epistémicas (DEL, por sus siglas en inglés). Definimos una lógica que cambia la relacion capaz de codificar DEL, e investigamos su comportamiento computacional. Fil: Fervari, Raúl Alberto. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física; Argentina. 2021-08-20T18:53:50Z 2021-08-20T18:53:50Z 2014 doctoralThesis http://hdl.handle.net/11086/19804 spa http://hdl.handle.net/11086/15877 Atribución 4.0 Internacional http://creativecommons.org/licenses/by/4.0/
institution	Universidad Nacional de Córdoba
institution_str	I-10
repository_str	R-141
collection	Repositorio Digital Universitario (UNC)
language	Español
topic	Lógicas modales Operadores de cambio de accesibilidad Operadores dinámicos Poder expresivo Complejidad Decidibilidad Lógicas dinámicas epistémicas Modal logics Relation changing operators Dynamic operators Expressive power Complexity Decidability Dynamic epistemic logics
spellingShingle	Lógicas modales Operadores de cambio de accesibilidad Operadores dinámicos Poder expresivo Complejidad Decidibilidad Lógicas dinámicas epistémicas Modal logics Relation changing operators Dynamic operators Expressive power Complexity Decidability Dynamic epistemic logics Fervari, Raúl Alberto Lógicas modales con operadores de cambio de accesibilidad
topic_facet	Lógicas modales Operadores de cambio de accesibilidad Operadores dinámicos Poder expresivo Complejidad Decidibilidad Lógicas dinámicas epistémicas Modal logics Relation changing operators Dynamic operators Expressive power Complexity Decidability Dynamic epistemic logics
description	Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.
author2	Areces, Carlos Eduardo
author_facet	Areces, Carlos Eduardo Fervari, Raúl Alberto
format	doctoralThesis
author	Fervari, Raúl Alberto
author_sort	Fervari, Raúl Alberto
title	Lógicas modales con operadores de cambio de accesibilidad
title_short	Lógicas modales con operadores de cambio de accesibilidad
title_full	Lógicas modales con operadores de cambio de accesibilidad
title_fullStr	Lógicas modales con operadores de cambio de accesibilidad
title_full_unstemmed	Lógicas modales con operadores de cambio de accesibilidad
title_sort	lógicas modales con operadores de cambio de accesibilidad
publishDate	2021
url	http://hdl.handle.net/11086/19804
work_keys_str_mv	AT fervariraulalberto logicasmodalesconoperadoresdecambiodeaccesibilidad
_version_	1782014427334180864

Lógicas modales con operadores de cambio de accesibilidad

Ejemplares similares