文学 情态 释 modal logic 情态逻辑 研究“必然”“可能”及其相关概念的逻辑性质和涉及这些情态概念的推理，是非古典逻辑的一个分支。又称模态逻辑。
＞数理逻辑与数学基础＞数学基础＞释义 modal logic 模态逻辑 modal logic 模态逻辑†
理论计算机科学 程序理论 释文 modal logic 模态逻辑
- simple function
- simple game
- Simple Garden
- simple generalized lattice design
- simple germ
- simple giant system
- simple goiter
- simple graded algebra
- simple graph
- simple group
- simple group of Lie type
- simple groupoid
- simple harmonic lattice vibration
- simple harmonic motion
- simple harmonic oscillation
- simple harmonic oscillator
- simple harmonic vibration
- simple harmonic wave
- simple hexagonal lattice
- simple homotopy
- simple homotopy equivalence
- simple-homotopy-equivalent
- simple homotopy type
- simple hypothesis
- simple ideal