逻辑的

According to the properties of dynamic doxastic logic and stable sets, we built a DDL system for revision on stable sets; model completeness has been proved there.

4根据动态信念逻辑和稳定集的特点，构造了一个关于稳定集修正的动态信念逻辑系统，其中模型完全性得到了证明。

Dynamic epistemic logic,rised in recent years,is a non-classical logic.

动态认知逻辑是近年兴起的非经典逻辑，是一个相对比较新的研究领域。

Mathematics exercise solution thought process displays in:Recognition and understanding, association and exploration, appraisal and choice, operation and realization, promotion and consummation; Its thought characteristics display as integrity, radiation and astringency, goal consciousness, disorderly and ordering, non-logical and logicalization characteristic.

数学习题的求解的思维过程表现在：认识与理解、联想与探索、评价与选择、操作与实现、推广与完善；其思维特征表现为整体性、发散与收敛性、目标意识、无序与有序化、非逻辑与逻辑化特征。

The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra.

模态逻辑 S5，被看作 S4 中一个理论，是一元布尔代数的模型，如同模态逻辑 S4 是内部代数的模型。

Using the logic in Excel spreadsheets in a server application without the "traditional" need to recode this logic in a programming language.

在服务器应用程序中的电子表格上运用逻辑--不需要使用&传统的&方法，即用编程语言重新编写这些逻辑代码。

This paper expounds logical method and historical method are mutual infi-ltration,mutual supplement and mutual transformance in mathematics.

逻辑与历史统一的方法，就是在数学研究中辩证处理逻辑方法和历史方法之间的相互关系。

The existing dichotomous division and trichotomous division of Chinese complex sentence can not meet the needs of description of the relationship of logic-semantic between relation words,for their logic foundation and the basis of the logic of OWL DL vary greatly.

如果要用OWL DL来表达关系词语本体，就必须保证OWL DL对关系词语间逻辑语义关系的描写，这需要外界为OWL DL提供一个具有合适逻辑基础的分类系统。

To activate both logical processors at least the mainboard and its BIOS should support two APIC and some specific algorithms translating the logical CPUs and the physical processor into power-saving mode.

启动逻辑处理器至少在主板和BIOS的支持两个巴林和一些具体算法把CPU的逻辑和物理处理器进入节电模式。

Various efficient, convergent and robust algorithms have been developed for such a SCOP. However, a more general constrained optimization problem with not only logic AND but also OR relationships exists in many practical applications.

但是，在实际应用中有很多更一般的约束优化问题，其等式或不等式约束之间不仅包含逻辑&与&关系，而且还包含逻辑&或&关系，现有的针对标准约束优化问题的各种算法不再适用。

In preface, Russell's mathematics logicism is introduced in brief. It is thought to be include not only the idea of mathematics can be deoxidized to logic, but also the work of settle Russell' paradox.

在前言中，简要地介绍了罗素的数学逻辑主义思想，认为它除了&将数学还原为逻辑&这一观点外，还包括了解决罗素悖论的工作。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。