中世纪早期模态理论主要关注关于将来事件模态命题的解释。
The early Medieval modalities theories mainly focused on the interpretation of the modalities propositions of future events.
中世纪早期模态理论主要关注关于将来事件模态命题的解释。
The early Medieval modalities theories mainly focused on the interpretation of the modalities propositions of future events. A.
行动模态或意志模态——不同于命题模态——其算子加于行动之上才能构成行动模态命题。
Modal of action or modal of will is different from propositional modal, whose operator pluses action can constitute the modal proposition of action.
墨家和亚里士多德都讨论了命题的本质、命题的类型及关系、模态命题等基本问题，形成了丰富的命题理论。
Both Mohist School and Aristotle discuss the basic problems of proposition which are the nature of proposition, the types and relations of proposition, model propositions etc.
传统逻辑和模态逻辑在分析自然语言假言命题方面都存在缺陷。
Traditional logic and modern logic have some defects in analyzing the hypothetical proposition of natural language.
在三分认知世界理论的基础上讨论拒斥模态与拒斥认知命题是恰当的。
According to the theory of Tri-partitioning of Epistemic Worlds, static deniable proposition logic system of Deny can be established on the basis of class.
目前，命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。
Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not.
完美信息流推理不涉及模态概念，理想信息逻辑类似经典命题逻辑。
Because perfect IF inferences donot involve modal concepts, idealized IF logic is analogous to classical propositional logic.
在逻辑和形上学中，命题模态是可能性模态的两倍。
In logic and metaphysics, a modality of propositions that is dual to the modality of possibility.
在逻辑和形上学中，命题模态是可能性模态的两倍。
In logic and metaphysics, a modality of propositions that is dual to the modality of possibility.
应用推荐