TY - 数学学报 A1 - 高恒珊 T1 - 量词模态逻辑的代数语义学(Ⅰ)——关于S5情形 Y1 - 1987-11-15 00:00:00.0 JF - 数学学报 JO - 数学学报 SP - 838 EP - 846 VL - 30 IS - 6 UR - {https://actamath.cjoe.ac.cn/Jwk_sxxb_cn/CN/10.12386/A1987sxxb0095} N1 - 10.12386/A1987sxxb0095 ER -