Modal of action or modal of will is different from propositional modal, whose operator pluses action can constitute the modal proposition of action.
行动模态或意志模态——不同于命题模态——其算子加于行动之上才能构成行动模态命题。
2
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的运算子性质,进而证明关于它的本原运算子集的一个定理,并给出一些推论。
3
Article 319 The operator of multi-modal transport shall, when receiving the goods consigned for transport by the consignor, issue multi-modal transport documents.