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
id I10-R14111086-19804
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
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
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
topic_facet 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
description Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.
author2 Areces, Carlos Eduardo
author_facet Areces, Carlos Eduardo
Fervari, Raúl Alberto
format doctoralThesis
author Fervari, Raúl Alberto
author_sort Fervari, Raúl Alberto
title Lógicas modales con operadores de cambio de accesibilidad
title_short 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_sort lógicas modales con operadores de cambio de accesibilidad
publishDate 2021
url http://hdl.handle.net/11086/19804
work_keys_str_mv AT fervariraulalberto logicasmodalesconoperadoresdecambiodeaccesibilidad
bdutipo_str Repositorios
_version_ 1764820394606329859

Ejemplares similares