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.
Modal logics
Expressive power
5
Complejidad
4
Complexity
4
Decidability
4
Decidibilidad
4
Dynamic epistemic logics
4
Dynamic operators
4
Lógicas dinámicas epistémicas
4
Lógicas modales
4
Operadores de cambio de accesibilidad
4
Operadores dinámicos
4
Poder expresivo
4
Characterization
3
Definability
3
Model theory
3
Saturation
3
Separation
3
Simulation
3
Bisimulations
2
Hybrid logics
2
Relation changing operators
2
Relation-changing operators
2
Bisimulation
1
Characterization theorems
1
Completeness
1
Computability and decidability
1
Computer simulation
1
First order logic
1
Formal logic
1
-
1por Fervari, Raúl Alberto
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2
-
3
-
4
-
5
-
6por Fervari, Raúl Alberto
Publicado 2021Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
7
-
8por Fervari, Raúl Alberto
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
9por Fervari, Raúl Alberto
Publicado 2021Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis