| 单词 | 模态模型论 |
| 释义 | 【模态模型论】 拼译：modal model theory 它是模态逻辑的模型论，特别是指量词模态逻辑即一阶模态谓词逻辑的模型论。它从属于模态逻辑的三个主要研究方向，即公理学、语义学和代数学之一的语义学方向。模态逻辑的关系语义学(又称关系模型论)一般公认是由S．A．克里普克开创的。他于1959年发表在《符号逻辑杂志》上的题为《模态逻辑的一个完备性定理》一文中首先提出了关系模型(或称关系语义解释)的概念，并证明了带量词的S5相对于该关系模型概念为完备的；以后又发表了几篇论文对各种正规和非正规模态系统提出了相应的关系语义解释，即关系模型概念。 |
| 随便看 |
科学参考收录了7804条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。