Keyphrases
- conditional logic
- sound and complete axiomatization
- modal logic
- higher order logic
- default reasoning
- belief revision
- nonmonotonic reasoning
- defeasible reasoning
- sequent calculi
- knowledge representation and reasoning
- nonmonotonic inference
- logic programming
- nonmonotonic logics
- default logic
- temporal logic
- higher order
- fixed point
- multi dimensional