A QUALITATIVE BELIEF LOGIC
David Harmanec, Petr Hájek · International Journal of Uncertainty Fuzziness and Knowledge-Based Systems · 1994
Belief function theory is one of broadly used numerical formalisms for uncertainty processing. It was also studied in its qualitative form. In this paper we study relationship between this qualitative belief function theory and modal logic. We present a sound system of axioms and show its completeness with respect to sematics considered.