英语释义

• a system of logic whose formal properties resemble certain moral and epistemological concepts

• the logical study of necessity and possibility

片语

Modal Nonmonotonic Logic模态非单调逻辑

system of modal prepositional logic模态命题逻辑系统

propositional modal logic命题模态逻辑

Modal Illocutionary Logic模态的语用逻辑

multi-modal epistemic logic多模态认知逻辑

Normal Modal Propositional Logic System正规模态逻辑系统

Modal IF logic模态信息流逻辑

modal propositional logic模态命题逻辑

fuzzy modal propositional logic模糊模态命题逻辑

英汉例句

• propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not.

  目前，命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。

• the elementary first-order temporal logic is a development of modal logic and ordinary temporal logic.

  基本的一阶时态逻辑有模态逻辑和时态逻辑的一个发展。

• it can contain classic quantified modal logic and it is flexible and tolerated.

  具有较好的柔韧性和宽容度，它可以容纳经典谓词逻辑。

• in fact, in his criticism, has also developed a modal logic with non-modal logic truth table semantics sentence comparable to the form of semantics.

  事实上，在他的批评之后，模态逻辑也发展出了可与非模态语句逻辑的真值表语义学相媲美的形式语义学。

• there are three parts in this paper:first, interpreting the logic of mohist school, and summarizing the western modern modal logic in order to get the modal term.

  本文分三大部分进行了论述：首先，对墨经逻辑进行了诠释，对西方现代广义模态逻辑的发展作了简要论述，并重点介绍了模态词。

• 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.

  向前向后方法是模型论及其应用研究中的一个新的工具。本文使用向前向后方法，对模态逻辑的两个定理构造了一种简单的证明。

• relationship between tautologies in fuzzy modal logic and valid formulas in basic modal logic is investigated.

  研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系。

• modal logic is the logic of necessity and possibility.

  模态逻辑是关于必要性和可能性的逻辑。

• accordingly, the dissertation discusses essentialism problems of modal logic in two main aspects, i. e. doctrine of possible worlds and scheme of essentialism.

  据此，文章从两个主要的方面讨论了模态逻辑中的本质主义问题，即可能世界学说和本质主义方案。

• modal logic is quite mature at its formal technique, but its possible world semantics has many difficult in philosophical interpretations.

  建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。

• when it comes to non binary logic, for example modal logic or probabilistic logic, humans often perform better.

  当需要处理非二进制逻辑的时候，比方说模态逻辑或者机率逻辑，人会表现得更好。

• it relates to action logic, modal logic and other branches of logic, and makes a notable impact on them.

  它涉及到行动逻辑与模态逻辑等逻辑分枝领域并对其产生重要影响。

• 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模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

• as soon as modal logic came into being, quine questioned it.

  模态逻辑一经产生，就遭到奎因的质疑。

• his theory is consistent and quine's criticism of modal logic is untenable.

  其理论是融贯的，奎因对模态逻辑的批评是不成立的。

• finally, some relations between the polyá logic and modal logic were studied.

  最后，研究了这些逻辑系统与古典模态逻辑之间的关系。

• this paper construct short proofs for two theorems in modal logic by back and forth method.

  本文使用向前向后方法，对模态逻辑的两个定理构造了一种简单的证明。

• for this reason, we construct a knowledge system k_k on the basis of minimum modal logic system k to solve above problem.

  为此，我们特别对极小模态逻辑系统k进行扩充而得到一个知识系统k_k，它能很好地解决这一问题。

• 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月专栏)，使用模态逻辑和其它逻辑形式来表示运行时行为的深度属性。

• there are some theoretical problems in the study of generalized modal logic. modal logic is involved with not only logical possibility but also actual possibility.

  模态逻辑不仅涉及逻辑的可能性，也涉及事实的可能性，两者存在着重要的差异；