模态运算子
Modal operator
以上为机器翻译结果，长、整句建议使用 人工翻译 。
探讨了模态逻辑系统s5的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。
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.
youdao
应用推荐
模块上移
模块下移
不移动