文学 情态 释 modal logic 情态逻辑 研究“必然”“可能”及其相关概念的逻辑性质和涉及这些情态概念的推理，是非古典逻辑的一个分支。又称模态逻辑。
＞数理逻辑与数学基础＞数学基础＞释义 modal logic 模态逻辑 modal logic 模态逻辑†
理论计算机科学 程序理论 释文 modal logic 模态逻辑
- O. Heaviside
- O. Heaviside (1850—1925)
- OH emission
- O.Henry
- OHI
- Ohio Greenbelt Town
- Ohio Library and Information Network
- Ohio River
- ohio shale gas play
- Ohio Sky Survey
- Ohio State
- Ohio State University Radio Observatory
- Ohio Toledo Auto-Lite Strike
- Ohio Winesburg
- OH-IR source
- OH/IR source
- OH/IR star
- OH/IR星
- OH/IR源
- Oh Jang-hwan
- OH line
- Ohlin’s prediction study on success or failure for parole
- Ohlson galactic plane
- Ohlson galactic pole
- Ohm