文学 情态 释 modal logic 情态逻辑 研究“必然”“可能”及其相关概念的逻辑性质和涉及这些情态概念的推理，是非古典逻辑的一个分支。又称模态逻辑。
＞数理逻辑与数学基础＞数学基础＞释义 modal logic 模态逻辑 modal logic 模态逻辑†
理论计算机科学 程序理论 释文 modal logic 模态逻辑
- Java applet
- Java bean
- java brucea fruit
- Java chip
- Java database connectivity
- Java database connectivity, JDBC
- Java enterprise edition
- Java enterprise edition, JEE
- Java interpreter
- Java language
- Java management extensions
- Java management extensions, JMX
- java mouse-deer
- Javanese
- Javanese dance
- Javanese language
- Javan rhinoceros
- Javan yellow-throated marten
- Java operating system
- Java operating system, Java OS
- Java OS
- Java script
- JavaScript language
- JavaScript语言
- Java Sea