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.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | doctoralThesis |
| Language: | spa |
| Published: |
2021
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/19804 |
| _version_ | 1801213716651311104 |
|---|---|
| author | Fervari, Raúl Alberto |
| author2 | Areces, Carlos Eduardo |
| author_facet | Areces, Carlos Eduardo Fervari, Raúl Alberto |
| author_sort | Fervari, Raúl Alberto |
| collection | Repositorio Digital Universitario |
| description | Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. |
| format | doctoralThesis |
| id | rdu-unc.19804 |
| institution | Universidad Nacional de Cordoba |
| language | spa |
| publishDate | 2021 |
| record_format | dspace |
| spelling | rdu-unc.198042023-08-31T13:17:38Z Lógicas modales con operadores de cambio de accesibilidad Fervari, Raúl Alberto Areces, Carlos Eduardo 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 Tesis (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. 2021-08-20T18:53:50Z 2021-08-20T18:53:50Z 2014 doctoralThesis http://hdl.handle.net/11086/19804 spa http://hdl.handle.net/11086/15877 Atribución 4.0 Internacional http://creativecommons.org/licenses/by/4.0/ |
| spellingShingle | 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 Fervari, Raúl Alberto Lógicas modales con operadores de cambio de accesibilidad |
| title | 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_short | Lógicas modales con operadores de cambio de accesibilidad |
| title_sort | logicas modales con operadores de cambio de accesibilidad |
| 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 |
| url | http://hdl.handle.net/11086/19804 |
| work_keys_str_mv | AT fervariraulalberto logicasmodalesconoperadoresdecambiodeaccesibilidad |