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.
完美信息流推理不涉及模态概念，理想信息逻辑类似经典命题逻辑。
Because perfect IF inferences donot involve modal concepts, idealized IF logic is analogous to classical propositional logic.
完美信息流推理不涉及模态概念，理想信息逻辑类似经典命题逻辑。
应用推荐