Diversified Sight of Modern Modal Logic
现代模态逻辑的多元视野
A translation approach to modal logic reasoning
模态逻辑推理的翻译方法
The book contains an excellent discussion of modal logic.
这本书包含了有关模态逻辑得精彩探讨。
The modal logic of necessity and possibility and contingency.
讨论必要性可能性与偶然性的模态逻辑。
Formal Reasoning System Based on Fuzzy Propositional Modal Logic
基于模糊命题模态逻辑的形式推理系统
Problem of Rigid Assignment to Variables in Predicate Modal Logic
谓词模态逻辑中变量的严格指派问题
Proposes an agent intention theory based on nonstandard modal logic.
构造一种基于非常规模态逻辑的理论描述主体意图。
Modal Logic Approach for Analyzing Security Protocol Guessing Attacks
分析安全协议猜测攻击的模态逻辑方法
Monadic Boolean algebras also have an important connection to modal logic.
一元布尔代数还与模态逻辑有重要联系。
His theory is consistent and Quines criticism of modal logic is untenable.
其理论是融贯的，奎因对模态逻辑的批评是不成立的。
Intensionality of Modal Logic for Ambient Calculus with Restricted Replication
复制受限的环境演算中模态逻辑的内涵性
Then, how contemporary logic looks upon the reduction of Aristotelian modal syllogism
那么，现代逻辑如何看待亚式模态三段论的化归呢
Historical development of modal logic passed the syntactic period, the classic period, and the modern period.
模态逻辑的历史发展经历了语形时期，经典时期和现代时期
Therefore, we use the definition of the timing and modal logic language to prove and reason protocol properties.
所以我们使用了时序和模态逻辑语言证明和推理协议性质。
英文例句大全为您提供modal logic英文例句大全,modal logic英文造句,关于modal logic的英语句子,单词modal logic怎么造句,modal logic英文例句大全有哪些,哪些英语句子是关于modal logic,英语单词modal logic的句子,单词modal logic如何造句,modal logic怎么造句等。