中国科学院数学与系统科学研究院期刊网
量词模态逻辑的代数语义学(Ⅰ)——关于S5情形
高恒珊
数学学报 . 1987, (6): 838 -846 .  DOI: 10.12386/A1987sxxb0095