中英▼
go top

modal logic

  • [数] 模态逻辑；情态逻辑

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

  [数] 模态逻辑

模态是指事物或者认识的必然性和可能性等性质,模态逻辑(modal logic)是研究模态推理形式及其规律的逻辑,是自动推理研究领域中最具影响力的逻辑之一,它能够精确地描述在推理情况不确定的条件下,可能世...

基于6243个网页-相关网页

  情态逻辑

... modal frequency模态频率；众数频率 modal logic模态逻辑；情态逻辑 modal verb情态动词 ...

基于281个网页-相关网页

  模态论理

... propositional logic 命题论理 modal logic 模态论理 traditional logic 传统论理学 ...

基于12个网页-相关网页

  模态

a．推断(deductive)，如例(8)，大致相当于模态 逻辑(modal logic)的“必然”。说话者认为话语所表达的命题Q(明天下雨)的可能性非常大，远大于相反的命题～Q(明天不下雨)的可能性。

基于6个网页-相关网页

短语

basic modal logic 基本模态逻辑

Handbook of Modal Logic 模态逻辑手册

Advanced Modal Logic 高级模态逻辑 ; 高等模态逻辑

modal logic D 模态逻辑D系统

first-order modal logic 一阶模态逻辑

first order modal logic D 一阶模态D逻辑

propositional modal logic 命题模态逻辑

philosophy of modal logic 模态逻辑哲学

 更多收起网络短语
  • 模态逻辑 - 引用次数：166

    Third, the dissertation investigates modal logic under set-theoretic semantics.

    第三,在集合论语义下重新研究模态逻辑。

    参考来源 - 非良基集与模态逻辑
    情态逻辑
  • 模态逻辑 - 引用次数：39

    Some AI researchers introduce multiple modal operators to modal logic according to multiple mental states of Agent.

    有一些人工智能研究者根据主体心智的多重性,在模态逻辑中引入多种模态算子,并借此对主体加以刻画。

    参考来源 - 纤维逻辑 in C
  • 模态逻辑
  • 模态逻辑

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

modal logic

  • n.
    • the logical study of necessity and possibility
    • a system of logic whose formal properties resemble certain moral and epistemological concepts

以上来源于: WordNet

 柯林斯英汉双解大词典 

modal logic

  • 1. 

    N the logical study of such philosophical concepts as necessity, possibility, contingency, etc 模态逻辑

双语例句

  • Here's another one: Modal Logic.

    这是另一个，模态逻辑。

    youdao

  • We can do quite a lot with modal logic these days.

    我们这几天会讲很多模态逻辑。

    youdao

  • Modal logic is the logic of necessity and possibility.

    模态逻辑是关于必要性和可能性的逻辑。

    youdao

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

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

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