Keyphrases
- propositional dynamic logic
- conditional logic
- proof theory
- nonmonotonic logics
- epistemic logic
- expressive power
- proof theoretic
- valued semantics
- higher order logic
- algebraic structure
- inference rules
- default reasoning
- logic programming
- intuitionistic logic
- valued logic
- modal logic
- semantic information
- proof procedures
- computational properties
- classical logic
- logical framework
- formal semantics
- propositional logic
- knowledge base
- kripke models