computational complexity, Datalog, Fuzzy Logic, Halpern-Shoham logic, interval logic, Sub-propositional Fragments, Tuple-generating dependencies.
