公理对应的框架 (2-2)

Garson J.W.: Modal Logic for Philosophers,Second

edition,USA: 2013,112

当然，如果我们提到具体的系统(system)时，每个系统满足不同的公理：

系统 满足的公理

K K

T K，T

D K，D

S4 K，T，4

S5 K，TE

B(Brouwerian) K，T，B

Ver K，□p

Triv K，□p≡p

这里Ver(Verum Systemn)对应的框架是每个世界只看到自己

(R＝f{(ω₁，ω₁)}，· · ·，(ωₙ，ωₙ)}。Triv对应的框架是R＝W × W，即每个世界可以看见所有世界，这就退化为经典逻辑了。

参考文献

• [1]Garson J.W.: Modal Logic for Philosophers, Second edition, USA: 2013

• [2]G.E.Hughes, M.J.Cresswell: A New Introduction to Modal Logic, London: T.J. International Ltd. 1996

• [3]Benthem, J. F. A. K. van: modal logic for open minds, USA: CSLI Publications 2010

本文使用 Zhihu On VSCode 创作并发布

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。