中国科学院数学与系统科学研究院期刊网
A1gebraic Semantics for Quantifed Modal Logic (III)──The Case of Normal Modal Systems without the Barcan Formula
高恒珊
Acta Mathematica Sinica, Chinese Series . 1995, (4):  .  DOI: 10.12386/A1995sxxb0071