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