dc.contributorAreces, Carlos Eduardo
dc.creatorFervari, Raúl Alberto
dc.date.accessioned2021-08-20T18:53:50Z
dc.date.accessioned2022-10-14T18:26:42Z
dc.date.available2021-08-20T18:53:50Z
dc.date.available2022-10-14T18:26:42Z
dc.date.created2021-08-20T18:53:50Z
dc.date.issued2014
dc.identifierhttp://hdl.handle.net/11086/19804
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/4272088
dc.description.abstractEn 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.
dc.languagespa
dc.relationhttp://hdl.handle.net/11086/15877
dc.rightshttp://creativecommons.org/licenses/by/4.0/
dc.rightsAtribución 4.0 Internacional
dc.subjectLógicas modales
dc.subjectOperadores de cambio de accesibilidad
dc.subjectOperadores dinámicos
dc.subjectPoder expresivo
dc.subjectComplejidad
dc.subjectDecidibilidad
dc.subjectLógicas dinámicas epistémicas
dc.subjectModal logics
dc.subjectRelation changing operators
dc.subjectDynamic operators
dc.subjectExpressive power
dc.subjectComplexity
dc.subjectDecidability
dc.subjectDynamic epistemic logics
dc.titleLógicas modales con operadores de cambio de accesibilidad
dc.typedoctoralThesis


Este ítem pertenece a la siguiente institución