Browsing Tesis de Doctorado en Ciencias de la Computación by Subject "Decidability"
Now showing items 1-2 of 2
-
Lógicas modales con operadores de cambio de accesibilidad
(2014)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, ... -
Relation-changing modal logics
(2014)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, ...