On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators.
Richard BoothJake ChandlerPublished in: KR (2018)
Keyphrases
- iterated belief revision
- belief revision
- belief change
- multi valued
- modal operators
- modal logic
- logic programming
- probability theory
- computational properties
- partially ordered
- nonmonotonic reasoning
- classical logic
- proof theory
- knowledge base
- artificial intelligence
- propositional logic
- formal theory
- graphical models