文学 情态 释 modal logic 情态逻辑 研究“必然”“可能”及其相关概念的逻辑性质和涉及这些情态概念的推理，是非古典逻辑的一个分支。又称模态逻辑。
＞数理逻辑与数学基础＞数学基础＞释义 modal logic 模态逻辑 modal logic 模态逻辑†
理论计算机科学 程序理论 释文 modal logic 模态逻辑
- separation of partition function
- separation of pedestrian and vehicular circulation
- separation of platinum metals group
- separation of powers
- separation of powers, theory of
- separation of pyrolysis gas
- separation of roots
- separation of solid waste
- Separation of the Newly Wed
- separation of the pericardial cavity and pleural cavity
- separation of the pleural cavity and peritoneal cavity
- separation of three rights
- separation of trial and decision
- separation of trial and enforcement
- separation of trial and judgment
- separation of tungstate and molybdenum
- separation of uranium isotope
- separation of variables
- separation of vertices
- separation of workplace and residence
- separation of zeros
- separation of zirconium and hafnium
- separation point
- separation potential
- separation principle