Lógicas modales con operadores de cambio de accesibilidad

Autores
Fervari, Raúl Alberto
Año de publicación
2014
Idioma
español castellano
Tipo de recurso
tesis doctoral
Estado
versión publicada
Colaborador/a o director/a de tesis
Areces, Carlos Eduardo
Descripción
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.
Materia
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
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/19804
Acceder
id RDUUNC_91c9fab748bffe83ae467cfda0ad2521
oai_identifier_str oai:rdu.unc.edu.ar:11086/19804
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Lógicas modales con operadores de cambio de accesibilidadFervari, Raúl AlbertoLógicas modalesOperadores de cambio de accesibilidadOperadores dinámicosPoder expresivoComplejidadDecidibilidadLógicas dinámicas epistémicasModal logicsRelation changing operatorsDynamic operatorsExpressive powerComplexityDecidabilityDynamic epistemic logicsTesis (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.Areces, Carlos Eduardo2014info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_db06info:ar-repo/semantics/tesisDoctoralapplication/pdfhttp://hdl.handle.net/11086/19804spahttp://hdl.handle.net/11086/15877info:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-04T12:32:51Zoai:rdu.unc.edu.ar:11086/19804Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-04 12:32:52.042Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Lógicas modales con operadores de cambio de accesibilidad
title Lógicas modales con operadores de cambio de accesibilidad
spellingShingle Lógicas modales con operadores de cambio de accesibilidad
Fervari, Raúl Alberto
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
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
dc.creator.none.fl_str_mv Fervari, Raúl Alberto
author Fervari, Raúl Alberto
author_facet Fervari, Raúl Alberto
author_role author
dc.contributor.none.fl_str_mv Areces, Carlos Eduardo
dc.subject.none.fl_str_mv 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
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
dc.description.none.fl_txt_mv 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.
description Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.
publishDate 2014
dc.date.none.fl_str_mv 2014
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_db06
info:ar-repo/semantics/tesisDoctoral
format doctoralThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11086/19804
url http://hdl.handle.net/11086/19804
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv http://hdl.handle.net/11086/15877
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1842349649727324160
score 13.13397

Publicaciones similares