模态逻辑S4的覆盖语义及其完备性

• 作者: 于海 张瑞玲 詹婉荣
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 模态逻辑 覆盖语义 Kripke语义 拓扑语义 完备性
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 学术论文
• 页码范围: 745-750
• 分类号: O142|TP301
• 字数: 5836字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2012.04.020

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张瑞玲	洛阳师范学院信息技术学院	55	311	9.0	15.0
2	詹婉荣	洛阳师范学院数学科学学院	25	28	3.0	4.0
3	于海	洛阳师范学院数学科学学院	26	31	3.0	4.0