Here's another one: Modal Logic.
这是另一个，模态逻辑。
We can do quite a lot with modal logic these days.
我们这几天会讲很多模态逻辑。
Modal logic is the logic of necessity and possibility.
模态逻辑是关于必要性和可能性的逻辑。
As soon as modal logic came into being, Quine questioned it.
模态逻辑一经产生，就遭到奎因的质疑。
Proposes an agent intention theory based on nonstandard modal logic.
构造一种基于非常规模态逻辑的理论描述主体意图。
It can contain classic quantified modal logic and it is flexible and tolerated.
具有较好的柔韧性和宽容度，它可以容纳经典谓词逻辑。
Quantified modal logic based on free logic improves classic quantified modal logic.
以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
It relates to action logic, modal logic and other branches of logic, and makes a notable impact on them.
它涉及到行动逻辑与模态逻辑等逻辑分枝领域并对其产生重要影响。
When it comes to non binary logic, for example modal logic or probabilistic logic, humans often perform better.
当需要处理非二进制逻辑的时候，比方说模态逻辑或者机率逻辑，人会表现得更好。
Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
Relationship between tautologies in fuzzy modal logic and valid formulas in basic modal logic is investigated.
研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系。
As is inherited from modal logic and another extension of mathematic logic, temporal logic assertion inference can solve such problems.
作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。
Modal logic is quite mature at its formal technique, but its possible world semantics has many difficult in philosophical interpretations.
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not.
目前，命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。
A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.
对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。
Secondly, a new semantics of pbl-normal probabilistic modal semantics is given, which is a new semantics suited for modeling probabilistic modal logic.
其次为PBL建立了一种正规概率模态语义，这是一种适于刻画概率模态逻辑的语义模型。
So again we have a deductively valid argument but it's not deductively valid in actually we're a lot further on in modal logical then we are in deontic logic.
所以我们有一个演绎的有效论点,但是这不是演绎有效的,实际上我们模态逻辑有很多要讲的,然后我们再讲道义逻辑。
This paper also explores some rules of inference in classical logic and modal logic, and discusses the validity of these rules of inference in daily life.
与此相关，考察经典逻辑和模态逻辑中的某些推理规则，讨论这些推理规则在日常推理中的有效性问题，是十分必要的。
The present paper introduces the modal logic, and presents a new Information filtering algorithm based the study of formalization of knowledge and belief.
本文在介绍模态逻辑的基础上，提出了一种对知识和信念进行形式化研究的汉语信息过滤新算法。
Accordingly, the dissertation discusses essentialism problems of modal logic in two main aspects, i. e. doctrine of possible worlds and scheme of essentialism.
据此，文章从两个主要的方面讨论了模态逻辑中的本质主义问题，即可能世界学说和本质主义方案。
With the wide application of knowledge representation and knowledge inference in Fuzzy Modal Logic, more and more people put emphasis on the study of modal logic.
随着模态逻辑在知识表示及知识推理中的广泛应用，关于模态逻辑的研究越来越引起人们的重视。
Some of them, such as time Rover (see Resources for the July 2002 column), use modal logic and other logical formalisms to express deep attributes of run-time behavior.
其中一些项目，如TimeRover(见参考资料2002年7月专栏)，使用模态逻辑和其它逻辑形式来表示运行时行为的深度属性。
The properties of the operators of modal logic system S5 is investigated, then a theorem is proved about its primitive operator set, and some corollaries are given.
探讨了模态逻辑系统s5的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。
Back and forth method is a new tool in study of model theory and its application. This paper construct short proofs for two theorems in modal logic by back and forth method.
向前向后方法是模型论及其应用研究中的一个新的工具。本文使用向前向后方法，对模态逻辑的两个定理构造了一种简单的证明。
Because the concept of bisimulations has emerged almost at the same time in computer science, modal logic and set theory, this paper attempts to give a general definition on this concept.
由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生，本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。
Then, how contemporary logic looks upon the reduction of Aristotelian modal syllogism ?
那么，现代逻辑如何看待亚式模态三段论的化归呢?。
Then, how contemporary logic looks upon the reduction of Aristotelian modal syllogism?
那么，现代逻辑如何看待亚式模态三段论的化归呢?。
This paper introduces the automatic control and modal analysis diagnostic system of a large horizontal snail machine. It includes the realization of control logic, data monitor and alarm functions.
介绍了大型卧螺机自动控制及模态分析诊断系统，它包括了控制逻辑的实现、完备的数据监测和报警等功能。
This paper introduces the automatic control and modal analysis diagnostic system of a large horizontal snail machine. It includes the realization of control logic, data monitor and alarm functions.
介绍了大型卧螺机自动控制及模态分析诊断系统，它包括了控制逻辑的实现、完备的数据监测和报警等功能。
应用推荐