In the companion paper (Towards a "sophisticated" model of belief dynamics. Part 7), a general framework for realistic modelling of instantaneous states of belief and of the operations involving them was presented and motivated. In this paper, the framework is applied to the case of belief revision. A model of belief revision shall be obtained which, firstly, recovers the Gardenfors postulates in a well-specified, natural yet simple class of particular circumstances; secondly, can accommodate iterated revisions, recovering several proposed revision operators for iterated revision as special cases; and finally, offers an analysis of Rott's recent counterexample to several Gardenfors postulates [32], elucidating in what sense it fails to be one of the special cases to which these postulates apply.
