An incompleteness theorem for conditional logic.
Donald NutePublished in: Notre Dame J. Formal Log. (1978)
Keyphrases
- conditional logic
- default reasoning
- belief revision
- nonmonotonic reasoning
- modal logic
- defeasible reasoning
- higher order logic
- knowledge representation and reasoning
- nonmonotonic inference
- incomplete information
- sound and complete axiomatization
- general purpose
- temporal logic
- belief change
- multiagent systems
- logic programming
- software engineering
- knowledge representation
- sequent calculi
- artificial intelligence