go top

modal operator

  • [数] 模态运算子

网络释义专业释义英英释义

  [数] 模态算子

中文模板 关 键 词: Agent计算;BDI;语义;模态算子;认知 [gap=8442]Key words: agent computing; BDI; semantic; modal operator; recognition

基于48个网页-相关网页

  情态操作词

韩礼德(2000)认为情态模式是 和语气结合在一起论述的,基本范畴包括情态操作词(modal operator)和情态附加语(modal adjunct),本节就对此进行分 析以探讨人际功能的实现。

基于40个网页-相关网页

  情态运符

... modal fallcy 样态谬误 modal operator 情态运符 modal scope rule 情态范围解释规律 ...

基于8个网页-相关网页

短语

doubting modal operator 怀疑模态算子

finite modal operator 情态助动词

non-normal modal operator 非正规模态算子

multi-modal transport operator 多种方式联运经营人

 更多收起网络短语
  • 模态算子 - 引用次数:4

    参考来源 - 道义逻辑标准化及其对悖论的消解

·2,447,543篇论文数据,部分数据来源于NoteExpress

Modal operator

  • abstract: A modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions.

以上来源于: WordNet

双语例句

  • Modal of action or modal of will is different from propositional modal, whose operator pluses action can constitute the modal proposition of action.

    行动意志模态——不同命题模态——算子于行动之上才能构成行动模态命题

    youdao

  • 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

  • Article 319 The operator of multi-modal transport shall, when receiving the goods consigned for transport by the consignor, issue multi-modal transport documents.

    第三百一十九条多式联运经营人收到托运人交付货物应当签发多式联运单据

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定