Keyphrases
- databases
- logic programming
- sound and complete axiomatization
- proof theory
- database
- nonmonotonic logics
- relational databases
- epistemic logic
- closed world assumptions
- logical framework
- formal semantics
- nested relations
- dynamic logic
- conditional logic
- database systems
- data model
- propositional dynamic logic
- proof theoretic
- modal logic
- computational properties
- logical rules
- sound and complete with respect
- derivation rules
- closed world assumption
- database languages
- knowledge discovery
- database applications
- autoepistemic logic
- formal language
- multi valued
- predicate calculus
- compositional semantics
- expressive power
- fixed point semantics
- semantic information