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.
Bisimulations
Modal logics
4
Boolean functions
2
Coinduction
2
Complejidad
2
Complexity
2
Conjunctive normal forms
2
Decidability
2
Decidibilidad
2
Dynamic epistemic logics
2
Dynamic operators
2
Expressive power
2
Hybrid logic
2
Hybrid logics
2
Lógicas dinámicas epistémicas
2
Lógicas modales
2
Modal depth
2
Modal formulas
2
Modal language
2
Modal logic
2
Normal form
2
Normal forms
2
Operadores de cambio de accesibilidad
2
Operadores dinámicos
2
Poder expresivo
2
Polynomial approximation
2
Polynomial-time
2
Propositional logic
2
Relation-changing operators
2
Satisfiability
2
Buscar alternativas:
modal » model (Expander búsqueda)
logics » logica (Expander búsqueda), logic (Expander búsqueda)
modal » model (Expander búsqueda)
logics » logica (Expander búsqueda), logic (Expander búsqueda)
-
1por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
3Publicado 2010Materias: “...Modal logics...”
-
4