中国科学院数学与系统科学研究院期刊网
量词模态逻辑的代数语义学(Ⅱ)——关于含Barcan公式的正规模态系统的情形
吕健安;高恒珊
数学学报 . 1988, (5): 692 -698 .  DOI: 10.12386/A1988sxxb0084