modal logic的例句大全

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

The disagreement between modal logic and the double negative construction of the necessity modals originates in the semantic misplacement.

必要性或必然性模态句的双重否定结构在模态逻辑上所出现的不对应现象源于否定词的语义错位。

The poof of program correctness is an area of an application of modal logic.

程序正确性证明中应用了模态逻辑；

Modal logic, as a non-classical logic, is different from classical logic.

模态逻辑作为一种 非 古典逻辑是与古典逻辑不同类型的逻辑.

Semantic Analyses of Rough Truth for Axioms in Modal Logic

模态逻辑公理的粗糙真语义分析

At first, he developed a modal logic semantics, and has achieved notable successes.

起初，他发展了模态逻辑语义学，并取得了引人注目的成就。

Hence we propose a kind of structure postulates about the movement of categorical positions, and form a particular Categorical Type Logic-Multi-Modal Logic with constrains on accessible relations in possible world semantics.

因此，给出关于范畴位置移动的结构公设，构成特定的范畴类型逻辑系统，即多样模态逻辑，并给该系统的可能世界语义学的可通达关系确立相应的限制条件。

the modal logic of obligation and permissibility.

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

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是内部代数的模型。

monadic boolean algebras also have an important connection to modal logic.

一元布尔代数还与模态逻辑有重要联系。

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

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

tableau-based proving system for medium modal logic ms_4

中介模态逻辑MS4的表推演系统

primitive operator set of modal logic system s5

模态逻辑系统S5的本原运算子集

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.

这本书包含了有关模态逻辑的精彩探讨.

Discussing about the Completeness Proof of Normal Modal Propositional Logic System

关于正规模态命题逻辑系统的完全性证明

Then, how contemporary logic looks upon the reduction of Aristotelian modal syllogism?

那么, 现代逻辑如何看待亚式模态三段论的化归 呢 ?

because perfect if inferences donot involve modal concepts, idealized if logic is analogous to classical propositional logic.

完美信息流推理不涉及模态概念，理想信息逻辑类似经典命题逻辑。

As for LOBA, it expands the work of KARO and LORA logic, treats agents 'emotions and cognitive actions as modal operators, and interprets cognitive actions which only occur in agents' brains by a three-layer model.

在逻辑系统的构建上，LOBA逻辑扩展了KARO逻辑和LORA逻辑，将主体的情绪和认知动作都作为模态算子进行处理，并构建了3层语义模型以解释主体的认知动作。