Non-additive uncertainty theories, typically possibility theory, belief
functions and imprecise probabilities share a common feature with modal logic:
the duality properties between possibility and necessity measures, belief and
plausibility functions as well as between upper and lower probabilities extend
the duality between possibility and necessity modalities to the graded
environment. It has been shown that the all-or-nothing version of possibility
theory can be exactly captured by a minimal epistemic logic (MEL) that uses a
very small fragment of the KD modal logic, without resorting to relational
semantics. Besides, the case of belief functions has been studied
independently, and a belief function logic has been obtained by extending the
modal logic S5 to graded modalities using Łukasiewicz logic, albeit using
relational semantics. This paper shows that a simpler belief function logic can
be devised by adding Łukasiewicz logic on top of MEL. It allows for a more
natural semantics in terms of Shafer basic probability assignments.

本文研究不确定性理论中的可能性理论、信念函数和不精确概率与模态逻辑之间的二元性质，提出了一种基于最小认知逻辑和波兰式逻辑的简化信念函数逻辑，并且给出了使用 Shafer 基本概率分配的语义。