中英▼
go top

modal logic

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

网络释义英英释义

  模态逻辑

...方面的研究，近二十年来大多集中在数学理论上，具体而言，主要集中 在拓扑结构（Topolo西cal spaces）和模态逻辑（Modal Logics）这两方面上。

基于16个网页-相关网页

短语

Modal and Temporal Logics 模态和时态逻辑

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
- 来自原声例句
小调查
请问您想要如何调整此模块？

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

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