Some Completeness Results for Propositional Conditional Logics.
Karl SchlechtaPublished in: Log. J. IGPL (1995)
Keyphrases
- conditional logic
- sound and complete axiomatization
- belief revision
- propositional logic
- default reasoning
- default logic
- nonmonotonic reasoning
- probabilistic logic
- higher order logic
- modal logic
- nonmonotonic inference
- belief change
- knowledge representation and reasoning
- logic programming
- first order logic
- higher order
- fixed point
- temporal logic
- artificial intelligence
- logical framework
- high level