摘要：基于第六种覆盖粗糙集模型提出了模态逻辑S4的覆盖语义,利用覆盖模型与Kripke模型之间的关系,证明了覆盖语义的可靠性和完备性定理.进一步讨论了覆盖语义与Alexandrov拓扑语义之间的关系.证明了覆盖语义与Alexandrov拓扑语义是和谐一致的.

关键词：模态逻辑 覆盖语义 kripke语义 拓扑语义 完备性 

单位：洛阳师范学院数学科学学院; 河南洛阳471022; 洛阳师范学院信息技术学院; 河南洛阳471022