行动模态或意志模态——不同于命题模态——其算子加于行动之上才能构成行动模态命题。
Modal of action or modal of will is different from propositional modal, whose operator pluses action can constitute the modal proposition of action.
探讨了模态逻辑系统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.
应用推荐