Keyphrases
- valued logic
- expressive power
- higher order
- deductive databases
- datalog queries
- modal logic
- datalog programs
- fuzzy logic
- high order
- propositional dynamic logic
- classical logic
- inference rules
- real time
- propositional logic
- transitive closure
- first order logic
- special case
- epistemic logic
- hessian matrix
- information systems
- database