Keyphrases
- nonmonotonic logics
- conditional logic
- propositional dynamic logic
- proof theory
- epistemic logic
- default reasoning
- expressive power
- closely related
- logic programming
- databases
- formal semantics
- modal logic
- operational semantics
- proof theoretic
- proof procedures
- inference rules
- semantically relevant
- higher order logic
- valued semantics
- propositional calculus