中国科学院数学与系统科学研究院期刊网
Soundness Theorem for Intuitionistic Quantified Modal Logic System MIPC
Heng Shan GAO
Acta Mathematica Sinica, Chinese Series . 2003, (3): 463 -468 .  DOI: 10.12386/A2003sxxb0065