Plausibility and belief measures induced by Kripke models.
Veselka Boeva, Elena Tsiporkova, Bernard De Baets · 1999
Modal logic interpretations of plausibility and belief measures are developed based on the observation that the inverse of the value assignment function in a model of modal logic induces the upper plausibility and lower belief measures of the plausibility and belief measures induced by the accessibility relation, regarded as a multivalued mapping. Keywords. Accessibility relation, basic probability assignment, belief measure, modal logic, multivalued mapping, plausibility measure, value assignment function. 1