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.

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
id I10-R14111086-15877
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Inglés
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
Bisimulations
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
Bisimulations
Expressive power
Complexity
Decidability
Dynamic epistemic logics
Fervari, Raúl Alberto
Relation-changing modal logics
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
Bisimulations
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 Relation-changing modal logics
title_short Relation-changing modal logics
title_full Relation-changing modal logics
title_fullStr Relation-changing modal logics
title_full_unstemmed Relation-changing modal logics
title_sort relation-changing modal logics
publishDate 2020
url http://hdl.handle.net/11086/15877
work_keys_str_mv AT fervariraulalberto relationchangingmodallogics
bdutipo_str Repositorios
_version_ 1764820393725526017

Ejemplares similares