go top

modal logic

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

英英释义

modal logic

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

以上来源于: WordNet

双语例句

  • Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.

    讨论了三种时间逻辑方法:一阶谓词演算模态逻辑具体化逻辑。

    youdao

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

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

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