文学 情态 释 modal logic 情态逻辑 研究“必然”“可能”及其相关概念的逻辑性质和涉及这些情态概念的推理，是非古典逻辑的一个分支。又称模态逻辑。
＞数理逻辑与数学基础＞数学基础＞释义 modal logic 模态逻辑 modal logic 模态逻辑†
理论计算机科学 程序理论 释文 modal logic 模态逻辑
- Oversight Law of the People's Republic of China
- oversimplification
- oversize
- oversize waveguides
- oversizing
- oversleeve
- over socialization
- over sowing
- overspeed
- overspeed governor of lift
- overspeed protection
- over speed test for steam turbine
- overspill principle
- overstability
- overstable mode
- oversteepening
- over-strain
- overstrain
- overstrain strangury
- overstress model
- overstrike
- oversynchronous
- overtaking collision
- overtaking miracle of Japan
- overt aspiration