A Conditional Perspective on the Logic of Iterated Belief Contraction.
Kai SauerwaldGabriele Kern-IsbernerChristoph BeierlePublished in: CoRR (2022)
Keyphrases
- belief revision
- conditional logic
- iterated belief revision
- belief change
- belief set
- sound and complete axiomatization
- epistemic states
- logical framework
- modal operators
- horn logic
- default reasoning
- propositional logic
- nonmonotonic reasoning
- logic programming
- modal logic
- probability theory
- knowledge base
- nonmonotonic inference
- truth values
- temporal logic
- logic programs
- belief update
- classical logic
- proof theory
- linear logic
- digital circuits
- nonmonotonic logics
- defeasible logic
- possibility theory
- probabilistic logic
- viewpoint