Relationship between tautologies in fuzzy modal logic and valid formulas in basic modal logic is investigated.
研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系。
With the wide application of knowledge representation and knowledge inference in Fuzzy Modal Logic, more and more people put emphasis on the study of modal logic.
随着模态逻辑在知识表示及知识推理中的广泛应用，关于模态逻辑的研究越来越引起人们的重视。
应用推荐