Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
10
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Complexity
6
Modal logics
6
Complejidad
4
Decidability
4
Decidibilidad
4
Dynamic epistemic logics
4
Dynamic operators
4
Expressive power
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
Lógica matemática
3
Lógica modal
3
@ operators
2
Bisimulations
2
Characterization
2
Deducción y prueba de teoremas
2
Deduction and Theorem Proving
2
Definability
2
Dynamic logics
2
Expressivity
2
Higher-order modal logic
2
Hybrid logic
2
Mathematical Logic
2
Modal logic
2
Model theory
2
Nominals
2
Razonamiento automático
2
-
1
-
2
-
3
-
4
-
5por Orbe, Alejandro EzequielMaterias: “...Mathematical Logic...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
6por Orbe, Alejandro EzequielMaterias: “...Mathematical Logic...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
7por Díaz, Marcio OscarMaterias: “...Mathematical logic...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
8
-
9
-
10por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
11por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
12por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
13por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis