Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Modal logic
3
Modal logics
3
Formal logic
2
Hybrid logics
2
Biomineralization
1
Bisimulations
1
Boolean functions
1
Calculations
1
Characterization
1
Characterization theorems
1
Coinduction
1
Completeness
1
Computer simulation
1
Conjunctive normal forms
1
Definability
1
First order logic
1
Hybrid logic
1
Memory logics
1
Modal depth
1
Modal formulas
1
Modal language
1
Model theory
1
Normal form
1
Normal forms
1
Observational equivalences
1
Order and selection function constraints
1
Pathology
1
Polynomial approximation
1
Polynomial-time
1
Propositional logic
1
-
1
-
2Materias: “...Modal logics...”
JOUR -
3
-
4Materias: “...Hybrid logics...”
JOUR