chenxr的博客

论文“On Modal Logic Interpretation of Dempster-Shafer Theory of Evidence”的用模态逻辑解释证据理论，本文记录我对该文献的理解。

模态逻辑系统 T，模型中的关系 R 具有反身性，即系统 T中的可能世界都能到达自身。

本文引入了模态逻辑的模型 M=<W,R,V>，模态逻辑的系统和系统 K。

在命题逻辑中使用的运算符全部是真值函数运算符 (Truth-functional operator)，而模态逻辑关心额外的非真值函数的 (non-truth-functional) 概念。

模态逻辑 (Modal logic) 研究的是“必然 (Necessity)”和“可能 (Possibility)”及相关概念。模态逻辑基于命题逻辑 (Propositional calculus, PC) ，在命题逻辑中，我们仅考虑事情在现实情况下的真 (Truth) 假 (Falsity)，而模态逻辑还考虑在其他可能情况（或称为可能世界，possible world，这类情况可能存在但现实不处于这类情况）下，事情是真还是假。