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
2
Complexity
2
Decidability
2
Decidibilidad
2
Dynamic epistemic logics
2
Dynamic operators
2
Expressive power
2
Lógicas dinámicas epistémicas
2
Lógicas modales
2
Modal logics
Operadores de cambio de accesibilidad
2
Operadores dinámicos
2
Poder expresivo
2
Bisimulations
1
Relation changing operators
1
Relation-changing operators
1
-
1por Fervari, Raúl AlbertoMaterias: “...Expressive power...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2por Fervari, Raúl AlbertoMaterias: “...Expressive power...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis