Lógicas modales con operadores de cambio de accesibilidad

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

Detalles Bibliográficos
Autor: Fervari, Raúl Alberto
Tipo de recurso: tesis doctoral
Estado:Versión publicada
Fecha de publicación:2014
País:Argentina
Institución:Universidad Nacional de Córdoba
Repositorio:Repositorio Digital Universitario (UNC)
Idioma:español
OAI Identifier:oai:rdu.unc.edu.ar:11086/19804
Acceso en línea:http://hdl.handle.net/11086/19804
Access Level:acceso abierto
Palabra clave: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
id AR_91c9fab748bffe83ae467cfda0ad2521
oai_identifier_str oai:rdu.unc.edu.ar:11086/19804
network_acronym_str AR
network_name_str Argentina
repository_id_str
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:UNC2024-05-15T12:53:04Zoai: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:25722024-05-15 12:53:04.41Repositorio 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
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
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (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_ 1799197149189111808
score 15.811543

Similares en LA Referencia