Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Complejidad
Complexity
4
Decidability
4
Decidibilidad
4
Dynamic epistemic logics
4
Dynamic operators
4
Expressive power
4
Lógicas dinámicas epistémicas
4
Lógicas modales
4
Modal logics
4
Operadores de cambio de accesibilidad
4
Operadores dinámicos
4
Poder expresivo
4
Bisimulations
2
Relation changing operators
2
Relation-changing operators
2
Buscar alternativas:
"Dynamic epistemic logics" » "Dynamic epistemic logica" (Expander búsqueda), "Dynamic epistemic logic" (Expander búsqueda)
"Dynamic epistemic logics" » "Dynamic epistemic logica" (Expander búsqueda), "Dynamic epistemic logic" (Expander búsqueda)
-
1por Fervari, Raúl AlbertoMaterias: “...Dynamic epistemic logics...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2por Fervari, Raúl AlbertoMaterias: “...Dynamic epistemic logics...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
3por Fervari, Raúl AlbertoMaterias: “...Dynamic epistemic logics...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
4por Fervari, Raúl AlbertoMaterias: “...Dynamic epistemic logics...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis