我们这几天会讲很多模态逻辑。
这是另一个，模态逻辑。
模态逻辑是关于必要性和可能性的逻辑。
讨论信仰与非信仰的模态逻辑。
模态逻辑一经产生，就遭到奎因的质疑。
As soon as modal logic came into being, Quine questioned it.
本文为道义模态逻辑D—系统建立布尔值模型。
The paper built a Boolean_valued model for the deontic logical D_system .
构造一种基于非常规模态逻辑的理论描述主体意图。
Proposes an agent intention theory based on nonstandard modal logic.
传统逻辑和模态逻辑在分析自然语言假言命题方面都存在缺陷。
Traditional logic and modern logic have some defects in analyzing the hypothetical proposition of natural language.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
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.
波爱修斯的模态逻辑直接来自古代，特别是亚里士多德的模态逻辑。
A. M. s Boethius' modalities originated directly from the ancient times, particularly from Aristotle's modalities' logic.
研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系。
Relationship between tautologies in fuzzy modal logic and valid formulas in basic modal logic is investigated.
当需要处理非二进制逻辑的时候，比方说模态逻辑或者机率逻辑，人会表现得更好。
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.
首先简单介绍了经典的BDI模型，以及基于正规模态逻辑存在的一些问题。
At first the classical BDI model is introduced simply, and points out some problem based on normal logical model.
其次为PBL建立了一种正规概率模态语义，这是一种适于刻画概率模态逻辑的语义模型。
Secondly, a new semantics of pbl-normal probabilistic modal semantics is given, which is a new semantics suited for modeling probabilistic modal logic.
本文在介绍模态逻辑的基础上，提出了一种对知识和信念进行形式化研究的汉语信息过滤新算法。
The present paper introduces the modal logic, and presents a new Information filtering algorithm based the study of formalization of knowledge and belief.
随着模态逻辑在知识表示及知识推理中的广泛应用，关于模态逻辑的研究越来越引起人们的重视。
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.
据此，文章从两个主要的方面讨论了模态逻辑中的本质主义问题，即可能世界学说和本质主义方案。
Accordingly, the dissertation discusses essentialism problems of modal logic in two main aspects, i. e. doctrine of possible worlds and scheme of essentialism.
作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。
As is inherited from modal logic and another extension of mathematic logic, temporal logic assertion inference can solve such problems.
对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。
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.
目前，命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。
Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not.
探讨了模态逻辑系统s5的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。
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.
所以我们有一个演绎的有效论点,但是这不是演绎有效的,实际上我们模态逻辑有很多要讲的,然后我们再讲道义逻辑。
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.
向前向后方法是模型论及其应用研究中的一个新的工具。本文使用向前向后方法，对模态逻辑的两个定理构造了一种简单的证明。
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.
其中一些项目，如TimeRover(见参考资料2002年7月专栏)，使用模态逻辑和其它逻辑形式来表示运行时行为的深度属性。
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.
由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生，本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。
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.
由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生，本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。
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.
应用推荐