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.
| Autor: | |
|---|---|
| Tipo de recurso: | tesis doctoral |
| Estado: | Versión publicada |
| Fecha de publicación: | 2014 |
| País: | Argentina |
| Institución: | Universidad Nacional de Córdoba |
| Repositorio: | Repositorio Digital Universitario (UNC) |
| Idioma: | español |
| OAI Identifier: | oai:rdu.unc.edu.ar:11086/19804 |
| Acceso en línea: | http://hdl.handle.net/11086/19804 |
| Access Level: | acceso abierto |
| Palabra clave: | 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 |
| Sumario: | Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. |
|---|