modal logic

modal logic 基本解释

模态逻辑

词组短语

1、first-order modal logic [计] 一阶模态逻辑

modal logic 用法和例句

1、Diversified Sight of Modern Modal Logic

现代模态逻辑的多元视野

2、A translation approach to modal logic reasoning

模态逻辑推理的翻译方法

3、The book contains an excellent discussion of modal logic.

这本书包含了有关模态逻辑得精彩探讨。

4、Problem of Rigid Assignment to Variables in Predicate Modal Logic

谓词模态逻辑中变量的严格指派问题

5、Formal Reasoning System Based on Fuzzy Propositional Modal Logic

基于模糊命题模态逻辑的形式推理系统

6、The modal logic of necessity and possibility and contingency.

讨论必要性可能性与偶然性的模态逻辑。

7、Modal Logic Approach for Analyzing Security Protocol Guessing Attacks

分析安全协议猜测攻击的模态逻辑方法

8、Monadic Boolean algebras also have an important connection to modal logic.

一元布尔代数还与模态逻辑有重要联系。

9、Intensionality of Modal Logic for Ambient Calculus with Restricted Replication

复制受限的环境演算中模态逻辑的内涵性

10、Proposes an agent intention theory based on nonstandard modal logic.

构造一种基于非常规模态逻辑的理论描述主体意图。

重点词汇

modal n. <语法>情态动词 adj. 形式的；情态的；模式的；语气的

logic n. 逻辑，逻辑学；（做某事的）道理；推理方法；威力，压力，强制（力） adj. 逻辑的