文学 情态 释 modal logic 情态逻辑 研究“必然”“可能”及其相关概念的逻辑性质和涉及这些情态概念的推理，是非古典逻辑的一个分支。又称模态逻辑。
＞数理逻辑与数学基础＞数学基础＞释义 modal logic 模态逻辑 modal logic 模态逻辑†
理论计算机科学 程序理论 释文 modal logic 模态逻辑
- cuticle
- cuticle layer
- cutin
- cut in a graph
- cut in a network
- cut in, cut out
- cutinized layer
- cut in the complex plane
- Cutkosky rules
- Cutkosky规则
- cutleaf coneflower
- cut line
- cut locus
- cut mixer
- cut needle
- cut of a domain
- cut of a set
- cut off
- cut-off
- cutoff
- cut-off angle
- cutoff approximation
- cutoff bias
- cut-off colored optical glass
- cutoff current