A nonmonotonic conditional logic for belief revision. Part 1: Semantics and logic of simple conditionals.
Hans RottPublished in: The Logic of Theory Change (1989)
Keyphrases
- conditional logic
- belief revision
- nonmonotonic reasoning
- default reasoning
- modal logic
- higher order logic
- sound and complete axiomatization
- nonmonotonic inference
- propositional logic
- nonmonotonic logics
- belief change
- logic programming
- logical properties
- logical framework
- default rules
- autoepistemic logic
- knowledge base
- possibilistic logic
- abductive reasoning
- belief update
- possibility theory
- temporal logic
- belief base
- knowledge representation and reasoning
- minimal change
- defeasible logic
- dynamic aspects
- default logic
- decision procedures
- classical logic
- epistemic states
- truth maintenance systems
- default theories