On Distances Between Kd45n Kripke Models And Their Use For Belief Revision

In this paper, some distances between KD45n Kripke models are introduced and investigated. We define several distances between Kripke models, based on different criteria, inspired by various concepts such as bisimulation and propositional distances between valuations for different modal degrees. We study the properties of these distances. Such distances are useful for defining belief change operators in multi-agent scenarios. We show that they can be used to define belief revision operators based on the standard AGM framework and suited to KD45n Kripke models.