modal logic system S5 模态逻辑系统S
modal logic s5
模态逻辑5
以上为机器翻译结果，长、整句建议使用 人工翻译 。
The properties of the operators of modal logic system S5 is investigated, then a theorem is proved about its primitive operator set, and some corollaries are given.
探讨了模态逻辑系统s5的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。
youdao
应用推荐
模块上移
模块下移
不移动