量词模态逻辑的代数语义学（Ⅲ）──关于不含Barcan公式的正规模态系统的情形

高恒珊

A1gebraic Semantics for Quantifed Modal Logic (III)──The Case of Normal Modal Systems without the Barcan Formula

数学学报 . 1995, (4): . DOI: 10.12386/A1995sxxb0071