Keyphrases
- propositional dynamic logic
- nonmonotonic logics
- conditional logic
- proof theory
- epistemic logic
- valued semantics
- modal logic
- default reasoning
- expressive power
- proof theoretic
- higher order logic
- semantic information
- belief revision
- default logic
- classical logic
- proof procedures
- knowledge representation formalisms
- logic programming
- kripke models
- computational properties
- default theories
- valued logic
- formal semantics
- graphical representation
- conceptual graphs
- nonmonotonic reasoning
- inference rules
- propositional calculus
- conceptual model
- data sets