论Leśniewski命题本体论与模态逻辑中的Blass翻译

在本文中，我们将借助Hintikka公式给出Leśniewski本体论命题片段$\bf L_1$在模态逻辑$\bf K$中的Blass翻译（简称$B$-翻译）保真性的另一证明。并将该结果推广到von Wright型道义逻辑，即一元道义逻辑的十个Smiley-Hanson系统。通过观察证明，我们将给出关于$B$-翻译对在某些众所周知的可及关系集上完备的正规模态逻辑保真性的一般定理，限制为传递性与对称性不同时成立。作为定理的应用，例如，$B$-翻译对可证性逻辑$\bf PrL$（=$\bf GL$），即$\bf K$ $+$ $\Box (\Box \phi \supset \phi) \supset \Box \phi$是保真的。该保真性对正规模态逻辑如$\bf KD$、$\bf K4$、$\bf KD4$、$\bf KB$也成立。我们将以若干开放问题与猜想一节结束本文。