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.
Complexity
3
Modal logics
3
@ operators
2
Characterization
2
Definability
2
Dynamic logics
2
Expressivity
2
Higher-order modal logic
2
Hybrid logic
2
Lógica modal
2
Modal logic
2
Model theory
2
Nominals
2
SMT
2
Saturation
2
Separation
2
Simulation
2
Type theory
2
Bisimulations
1
Complejidad
1
Decidability
1
Decidibilidad
1
Dynamic epistemic logics
1
Dynamic operators
1
Expressive power
1
Lógicas dinámicas epistémicas
1
Lógicas modales
1
Operadores de cambio de accesibilidad
1
Operadores dinámicos
1
Poder expresivo
1
-
1por Fervari, Raúl Alberto
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9