| 单词 | modal logic |
| 释义 | 例句释义: 模态逻辑,情态逻辑,模型逻辑,模太逻辑 1. In this article, the author writes in different ways to analyze the investigation logic from the theory of possible world and modal logic. 可能世界语义学从形式结构方面研究这一理论，但它又不只是哲学逻辑的惟一语义。 www.fabiao.net 2. There exists the similar relation between the necessitation and modal logic. 对必然化规则和模态逻辑系统来说有类似的结果。 www.sinoss.net 3. It also has many merits that weak bisimulation does not have, e. g. , algebraic characterization and modal logic characterization. 它还拥有弱互模拟没有的优点，如代数刻画和模态逻辑刻画。 www.boshuo.net 4. Barcan formulas play an important role in constructing semantics of quantified modal logic. 在模态谓词逻辑语义学构建的过程中，巴坎公式扮演着重要的角色。 lib.cqvip.com 5. Historical development of modal logic passed the syntactic period, the classic period, and the modern period. 模态逻辑的历史发展经历了语形时期、经典时期和现代时期； dictsearch.appspot.com 6. It relates to action logic, modal logic and other branches of logic, and makes a notable impact on them. 它涉及到行动逻辑与模态逻辑等逻辑分枝领域并对其产生重要影响。 www.fabiao.net 7. The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra. 模态逻辑S5，被看作S4中一个理论，是一元布尔代数的模型，如同模态逻辑S4是内部代数的模型。 dictsearch.appspot.com 8. Modal logic is the logic of necessity and possibility. 模态逻辑是关于必要性和可能性的逻辑。 open.163.com 9. Monadic Boolean algebras also have an important connection to modal logic. 一元布尔代数还与模态逻辑有重要联系。 dictsearch.appspot.com 10. Quantified modal logic based on free logic improves classic quantified modal logic. 以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。 lib.cqvip.com 1. Proposes an agent intention theory based on nonstandard modal logic. 构造一种基于非常规模态逻辑的理论描述主体意图。 www.dictall.com 2. When it comes to non binary logic, for example modal logic or probabilistic logic, humans often perform better. 当需要处理非二进制逻辑的时候，比方说模态逻辑或者机率逻辑，人会表现得更好。 www.infoq.com 3. We can do quite a lot with modal logic these days. 我们这几天会讲很多模态逻辑。 open.163.com 4. It can contain classic quantified modal logic and it is flexible and tolerated. 具有较好的柔韧性和宽容度，它可以容纳经典谓词逻辑。 lib.cqvip.com 5. A Study of Chinese Information Filtering Based Modal Logic 基于模态逻辑的汉语信息过滤机制研究 www.ilib.cn 6. Intensionality of Modal Logic for Ambient Calculus with Restricted Replication 复制受限的环境演算中模态逻辑的内涵性 service.ilib.cn 7. Why Is Chinese Modal Logic Different from Its Western Counterpart 中国模态逻辑为何不同于它的西方对应物 wenku.baidu.com 8. Modal Logic Approach for Analyzing Security Protocol Guessing Attacks 分析安全协议猜测攻击的模态逻辑方法 scholar.ilib.cn 9. Modal logic analysis of assessing communication concept 评估性交谈概念的模态逻辑分析 www.ilib.cn 10. The Last Philosophical Home of Modal Logic 模态逻辑的哲学归宿 service.ilib.cn 1. PEP Inferred from the Validities of Some Characteristic Formulas in Modal Logic 换位原理与几个模态特征公式的有效性 www.ilib.cn 2. Semantic Analyses of Rough Truth for Axioms in Modal Logic 模态逻辑公理的粗糙真语义分析 www.ilib.cn 3. Some Problems in Generalized Modal Logic 广义模态逻辑研究中的若干问题 scholar.ilib.cn 4. Diversified Sight of Modern Modal Logic 现代模态逻辑的多元视野 www.ilib.cn 5. Formal Reasoning System Based on Fuzzy Propositional Modal Logic 基于模糊命题模态逻辑的形式推理系统 ilib.cn 6. Agent Intention Based on Nonstandard Modal Logic 基于非常规模态逻辑的主体意图 www.ilib.cn 7. On Quine's Criticism about The Modal Logic 论奎因对模态逻辑的批判 www.ilib.cn |
| 随便看 |
|
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。