文学 情态 释 modal logic 情态逻辑 研究“必然”“可能”及其相关概念的逻辑性质和涉及这些情态概念的推理，是非古典逻辑的一个分支。又称模态逻辑。
＞数理逻辑与数学基础＞数学基础＞释义 modal logic 模态逻辑 modal logic 模态逻辑†
理论计算机科学 程序理论 释文 modal logic 模态逻辑
- Nile Delta
- nil-element
- Nile River
- nil-factor
- nil-flow
- nil-geometry
- nil-group
- nil ideal
- nil-ideal
- Nili-Ravi buffalo
- Nilke Xian
- nil-left ideal
- nil-Lie algebra
- nil-manifold
- N. I. Lobachevsky
- N. I. Lobachevsky (1792—1856)
- Nilo-Saharan family
- Nilotes
- nil-polynomial
- nilpotency
- nilpotency class
- nilpotency index
- nilpotent
- nilpotent adjoint orbit
- nilpotent algebra