文学 情态 释 modal logic 情态逻辑 研究“必然”“可能”及其相关概念的逻辑性质和涉及这些情态概念的推理，是非古典逻辑的一个分支。又称模态逻辑。
＞数理逻辑与数学基础＞数学基础＞释义 modal logic 模态逻辑 modal logic 模态逻辑†
理论计算机科学 程序理论 释文 modal logic 模态逻辑
- generic mapping
- generic matrix
- generic matrix algebra
- generic member
- generic metric
- generic name
- generic notion
- generic pencil
- generic phase
- generic plane
- generic point
- generic polynomial
- generic position
- generic property
- generic rank
- generic routing encapsulation
- generic routing encapsulation, GRE
- generic set
- generic smoothness
- generic specialization
- Generic strategies
- generic technology
- generic term of geographical name
- generic triangulation
- generic type