模型论，模型论,moxinglun，模型论,moxinglun，[拼音]：moxinglun[外文]：model theory数理逻辑的一个分支，是研究形式语言及其解释(模型)之间的关系的理论。在20世纪20年代，A.T.斯科朗等人在数理逻辑研究中就已得到模型论性质的重要结果；但作为系统的理论，模型论的奠基人应推A.塔尔斯基;后来A.鲁宾...
模态模型论，模态模型论,motai moxinglun，模型论,模态,moxinglun,motai，[拼音]：motai moxinglun[外文]：modal model theory模态逻辑的模型论。特别是指量词模态逻辑即一阶模态谓词逻辑的模型论。它从属于模态逻辑的三个主要研究方向，即公理学、语义学和代数学方向之一的语义学方向。模态...