Lógicas modales con operadores de cambio de accesibilidad

Abstract

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.