Keyphrases
- nonmonotonic logics
- propositional dynamic logic
- proof theory
- conditional logic
- expressive power
- logic programming
- epistemic logic
- modal logic
- derivation rules
- valued semantics
- higher order logic
- computational properties
- semantic information
- classical logic
- default reasoning
- class labels
- belief revision
- class hierarchy
- valued logic
- proof procedures
- modular neural networks
- database systems
- data sets
- database