Evidence theory in multivalued models of modal logic
Elena Tsiporkova, Bernard De Baets, Veselka Boeva · Journal of Applied Non-Classical Logics · 2000
A modal logic interpretation of Dempster-Shafer theory is developed in the framework of multivalued models of modal logic, i.e. models in which in any possible world an arbitrary number (possibly zero) of atomic propositions can be true. Several approaches to conditioning in multivalued models of modal logic are presented.