modal logic
[数] 模态逻辑
常用释义
英式发音
美式发音
基本释义
- [数] 模态逻辑；情态逻辑
例句
-
1·Here's another one: Modal Logic.这是另一个，模态逻辑。
-
2·We can do quite a lot with modal logic these days.我们这几天会讲很多模态逻辑。
-
3·Modal logic is the logic of necessity and possibility.模态逻辑是关于必要性和可能性的逻辑。
-
4·As soon as modal logic came into being, Quine questioned it.模态逻辑一经产生，就遭到奎因的质疑。
-
5·Proposes an agent intention theory based on nonstandard modal logic.构造一种基于非常规模态逻辑的理论描述主体意图。
-
6·It can contain classic quantified modal logic and it is flexible and tolerated.具有较好的柔韧性和宽容度，它可以容纳经典谓词逻辑。
-
7·Quantified modal logic based on free logic improves classic quantified modal logic.以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。
-
8·Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
-
9·It relates to action logic, modal logic and other branches of logic, and makes a notable impact on them.它涉及到行动逻辑与模态逻辑等逻辑分枝领域并对其产生重要影响。
-
10·When it comes to non binary logic, for example modal logic or probabilistic logic, humans often perform better.当需要处理非二进制逻辑的时候，比方说 模态逻辑或者 机率逻辑，人会表现得更好。