Lógicas modales con operadores de cambio de accesibilidad

Mostrar todas las versiones(2)

Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.

Guardado en:

Detalles Bibliográficos
Autor principal:	Fervari, Raúl Alberto
Otros Autores:	Areces, Carlos Eduardo
Formato:	doctoralThesis
Lenguaje:	Español
Publicado:	2021
Materias:	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
Acceso en línea:	http://hdl.handle.net/11086/19804
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Descripción
Sumario:	Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.