Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Modal logics
Hybrid logics
2
Modal logic
2
Bisimulations
1
Boolean functions
1
Characterization
1
Characterization theorems
1
Coinduction
1
Completeness
1
Computer simulation
1
Conjunctive normal forms
1
Definability
1
First order logic
1
Formal 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
Polynomial approximation
1
Polynomial-time
1
Propositional logic
1
Satisfiability
1
Saturation
1
Saturation (materials composition)
1
Separation
1
-
1Materias: “...Modal logics...”
JOUR -
2
-
3Materias: “...Hybrid logics...”
JOUR