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
-
1
-
2
-
3
-
4
-
5Materias: “...Modal logic...”
-
6Materias: “...Modal logics...”
-
7Materias: “...Hybrid logics...”
-
8
-
9Materias: “...Modal logic...”
-
10Materias: “...Computational logic...”
-
11
-
12
-
13por Areces, Carlos Eduardo, Figueira, Diego Federico, Figueira, Santiago Daniel, Mera, Sergio FernandoMaterias: “...Hybrid logics...”
Publicado 2008
-
14por Orbe, Alejandro EzequielMaterias: “...Mathematical Logic...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
15por Orbe, Alejandro EzequielMaterias: “...Mathematical Logic...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
16por Díaz, Marcio OscarMaterias: “...Mathematical logic...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
17
-
18
-
19
-
20por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis