模态逻辑，逻辑的一个分支，它研究必然、可能及其相关概念的逻辑性质。形式模态逻辑使用模态判决算子表示模态。
鸿凯词语词典，专业汉语查询工具。收录海量成语、近义词、反义词及组词，解释详尽，例句丰富。每日更新，助力您的语言学习与创作。