文学 情态 释 modal logic 情态逻辑 研究“必然”“可能”及其相关概念的逻辑性质和涉及这些情态概念的推理，是非古典逻辑的一个分支。又称模态逻辑。
＞数理逻辑与数学基础＞数学基础＞释义 modal logic 模态逻辑 modal logic 模态逻辑†
理论计算机科学 程序理论 释文 modal logic 模态逻辑
- vertex of a cube
- vertex of a curve
- vertex of a graph
- vertex of a hypergraph
- vertex of an angle
- vertex of an ellipse
- vertex of a network
- vertex of an oval
- vertex of a parabola
- vertex of a pencil
- vertex of a plane curve
- vertex of a polygon
- vertex of a polyhedral angle
- vertex of a polyhedron
- vertex of a pyramid
- vertex of a quadric
- vertex of a quiver
- vertex of a simplex
- vertex of a simplicial complex
- vertex of a spherical triangle
- vertex of a star region
- vertex of a triangle
- vertex of degree n
- vertex of perspectivity
- vertex of surface