Browsing by Subject "Tableaux"
Now showing items 1-1 of 1
-
Cálculo de tableaux para fórmulas elementales en lógicas de separación
(2020)En este trabajo final investigamos métodos computacionales de razonamiento para lenguajes modales dinámicos. Por lenguajes dinámicos nos referimos a formalismos que permitan cambiar la estructura subyacente a medida que ...