Relation-changing modal logics

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:	Inglés
Publicado:	2020
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 Bisimulations Expressive power Complexity Decidability Dynamic epistemic logics
Acceso en línea:	http://hdl.handle.net/11086/15877
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.