A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing.
V. Wiktor MarekPublished in: NMR (1984)
Keyphrases
- model theoretic
- modal logic
- decision procedures
- databases
- proof theoretic
- temporal logic
- autoepistemic logic
- inference rules
- fixpoint semantics
- nonmonotonic logics
- epistemic logic
- description logics
- dynamic logic
- database
- deductive databases
- default logic
- relational databases
- conditional logic
- database systems
- logic programs
- situation calculus
- operational semantics
- data model
- knowledge base