[数]模态逻辑；情态逻辑

formal logic───形式逻辑

modalistic───情态的

monologic───adj.独白的；独白式的

morphologic───adj.形态学（上），形态学的

somatologic───n.躯体学的

volcanologic───火山学

internal logic───内在联系；内在逻辑

Modal logic, as a non - classical logic, is different from classical 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.───一些项目，如Time Rover(见参考资料2002年7月专栏)，使用模态逻辑和其它逻辑形式来表示运行时行为的深度属性。

Modal logic is the logic of necessity and possibility.───模态逻辑是关于必要性和可能性的逻辑。

Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not.───命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。

The study of modality may date back to Aristotle, who focused his attention on modal logic.───对情态意义的研究可追溯到亚里士多德时期, 当时的研究重点是情态的哲学概念.

The book contains an excellent discussion of modal logic.───这本书包含了有关模态逻辑的精彩探讨.