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.
Ciencias Informáticas
5
Lógica modal
5
lógica modal
5
SMT
4
Complejidad
2
Complexity
2
Decidability
2
Decidibilidad
2
Deducción y prueba de teoremas
2
Deduction and Theorem Proving
2
Dynamic epistemic logics
2
Dynamic operators
2
Expressive power
2
Lógica matemática
2
Lógicas dinámicas epistémicas
2
Lógicas modales
2
Mathematical Logic
2
Modal logics
2
Multiagent systems
2
Operadores de cambio de accesibilidad
2
Operadores dinámicos
2
Poder expresivo
2
Razonamiento automático
2
Algebras Fork
1
Alonso de la Veracruz; lógica modal; cuantificación modal; filosofía colonial
1
Asistente de Prueba
1
Bisimulations
1
Coq
1
Distributed Systems
1
Extensión canónica
1
-
1Materias: “...Lógica modal...”
Aportado por: Repositorio Digital Universitario (UNC)bookPart submittedVersion -
2Materias: “...Lógica modal...”
Aportado por: Repositorio Digital Universitario (UNC)bookPart submittedVersion -
3
-
4
-
5
-
6
-
7
-
8
-
9por Campo Benítez, Juan Manuel; Universidad Central de VenezuelaMaterias: “...Alonso de la Veracruz; lógica modal; cuantificación modal; filosofía colonial...”
Publicado 2013
Artículo publishedVersion Artículo revisado por pares -
10por Cardoso, Marco A.Materias: “...lógica modal...”
Publicado 1997
Aportado por: SEDICI (UNLP)Objeto de conferencia -
11por Orbe, Alejandro EzequielMaterias: “...Lógica modal...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
12por Orbe, Alejandro EzequielMaterias: “...Lógica modal...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
13por Trucco, Francisco CarlosMaterias: “...Lógicas Modales...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
14por Fervari, Raúl AlbertoMaterias: “...Lógicas modales...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
15por Fervari, Raúl AlbertoMaterias: “...Lógicas modales...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis