Modal of action or modal of will is different from propositional modal, whose operator pluses action can constitute the modal proposition of action.
行动模态或意志模态——不同于命题模态——其算子加于行动之上才能构成行动模态命题。
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的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。
Article 319 The operator of multi-modal transport shall, when receiving the goods consigned for transport by the consignor, issue multi-modal transport documents.
第三百一十九条多式联运经营人收到托运人交付的货物时，应当签发多式联运单据。
应用推荐