Catálogo de publicaciones - tesis

Compartir en
redes sociales

Título de Acceso Abierto

Relation-changing modal logics

Raúl Alberto Fervari Carlos Eduardo Areces

acceptedVersion.

Resumen/Descripción – provisto por el repositorio digital
Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.
Palabras clave – provistas por el repositorio digital

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

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2014 Repositorio Digital Universitario (SNRD) acceso abierto

Información

Tipo de recurso:

tesis

Idiomas de la publicación

  • inglés

País de edición

Argentina

Fecha de publicación