Belief Change in Branching Time: AGM-consistency and Iterated Revision.
Giacomo BonannoPublished in: J. Philos. Log. (2012)
Keyphrases
- belief change
- belief revision
- iterated belief revision
- principle of minimal change
- temporal logic
- minimal change
- belief update
- propositional logic
- default reasoning
- prime implicates
- rationality postulates
- temporal reasoning
- belief set
- probability theory
- epistemic states
- revision operators
- nonmonotonic reasoning
- update operators
- model checking
- logical framework