Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
12
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Modal logics
9
Complexity
6
Expressive power
6
Modal logic
5
Complejidad
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
Lógica matemática
3
Lógica modal
3
Model theory
3
Saturation
3
Separation
3
Simulation
3
@ operators
2
AUTOMATED REASONING
2
AXIOMATIZACION
2
AXIOMATIZATION
2
Bisimulations
2
COINDUCTIVE MODELS
2
Ciencias Informáticas
2
DECIDABILITY
2
-
1Materias: “...Hybrid logics...”
-
2
-
3
-
4
-
5
-
6por Areces, Carlos Eduardo, Figueira, Diego Federico, Figueira, Santiago Daniel, Mera, Sergio FernandoMaterias: “...Hybrid logics...”
Publicado 2008
-
7
-
8por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
9por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
10por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
11por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
12
-
13
-
14Materias: “...Modal logics...”
-
15Materias: “...Computational logic...”
-
16Materias: “...Modal logic...”
-
17
-
18Materias: “...Modal logic...”
-
19por Gorín, Daniel AlejandroMaterias: “...HYBRID LOGICS...”
Publicado 2009
Tesis doctoral publishedVersion -
20por Gorín, Daniel AlejandroMaterias: “...HYBRID LOGICS...”
Publicado 2009
Tesis doctoral publishedVersion