Dempster's rule of conditioning translated into modal logic
A modal logic interpretation of Dempster's rule of conditioning is developed. It is shown that by restricting a model of modal logic in a non-trivial way, the measures induced by this restricted model are, in fact, the conditional measures given the restricting set, corresponding to the measures induced by the original model. (C) 1999 Elsevier Science B.V. All rights reserved.
modal logic conditional measures belief measure multivalued mapping necessity measure plausibility measure possibility measure