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

您当前的位置：

首页 >

文章列表页 >

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

学术论文 | 更新时间：2025-07-16

上一篇|下一篇

- 模态逻辑S4的覆盖语义及其完备性
- Covering Semantics of Modal Logic S4 and its Completeness
- 于海，詹婉荣，张瑞玲
- 电子学报 2012年40卷第4期页码：745-750
- 作者机构：
  1. 洛阳师范学院数学科学学院,河南,洛阳,471022
  2. 洛阳师范学院信息技术学院,河南,洛阳,471022
  3. 洛阳师范学院数学科学学院河南洛阳,471022
  4. 洛阳师范学院信息技术学院河南洛阳,471022
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.61050004);河南省基础与前沿研究计划 (No.082300410270)
- DOI： 10.3969/j.issn.0372-2112.2012.04.020
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

26

浏览量

35

下载量

0

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

一元子结构谓词逻辑中相似的代数语义

模态逻辑系统S5中极大相容理论的结构刻画

基于LaFMD处理的新型阈值调控技术研究

RIS辅助宽带太赫兹ISAC系统鲁棒保密传输方法

动态二部图上高效的BiCore-索引维护算法

相关作者

王军涛

王梅

折延宏

李璧镜

王军涛

王梅

折延宏

相关机构

西安石油大学理学院

陕西科技大学电气与控制工程学院

宝鸡文理学院数学系

宝鸡文理学院数学系

西安石油大学理学院