Keyphrases
- nonmonotonic logics
- propositional dynamic logic
- conditional logic
- proof theory
- epistemic logic
- proof theoretic
- modal logic
- expressive power
- formal semantics
- logic programming
- valued semantics
- higher order logic
- proof procedures
- classical logic
- default reasoning
- model theoretic
- propositional logic
- semantic information
- kripke models
- multiple inheritance
- valued logic
- database
- dynamic logic
- autoepistemic logic
- operational semantics
- inference rules
- belief revision
- fuzzy logic
- relational databases
- database systems