模态逻辑

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

Doctrine of possible world s and scheme of essentialism.

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

Quine takes the principle of extensionality ashis prerequisite of logical analysis and entirely objects to recognizing the intentionalconcepts,thus hindering the development of modal logic and the inquiry into humanemeaning in some way.

奎因把外延性原则作为他进行逻辑分析的前提，完全拒斥了内涵概念，从而在一定程度上阻碍了模态逻辑的发展和对人文意义的探究。

In this paper, a new index of clustering validity index which is based on the theory of modal logic is presented.

提出了一种基于模态逻辑的新的聚类评价指标。

R.Carnap's meaning theory is a milestone of history of logic. It has great influences on many branches of logic such as modal logic and Montagu's intension logic.

卡尔纳普的意义理论是逻辑学发展史上的一个重要的环节，对逻辑学的许多分支如模态逻辑、蒙塔古内涵逻辑等发生过重大影响。

There exists the similar relation between the necessitation and modal logic .

对必然化规则和模态逻辑系统来说有类似的结果。

Logic of obligation and permissibility.

讨论义务与权容的模态逻辑。

Anderson holds that deontic logic can be reduced to alethic modal logic by the reduction formula Op口

安德森认为依靠归约公式Op □能把道义逻辑归约为真值模态逻辑。

This abstract model and the existability rules derived from it can be used to form an ODP system, and also can be used for the implementation of trading function.

本文分析了交互及交互点的基本性质，并使用Petri网系统、模态逻辑和多值逻辑技术定义了交互的基本同步模型和基本异步模型，并将它们推广到双向和多向交互的情形。

Traditional logic and modern logic have some defects in analyzing the hypothetical proposition of natural language.

传统逻辑和模态逻辑在分析自然语言假言命题方面都存在缺陷。

They weren't aggressive, but I yelled and threw a rock in their direction to get them off the trail and away from me, just in case.

他们没有侵略性，但我大喊，并在他们的方向扔石头让他们过的线索，远离我，以防万一。

In slot 2 in your bag put wrapping paper, quantity does not matter in this case.

在你的书包里槽2把包装纸、数量无关紧要。