您当前的位置：
首页 >
文章列表页 >
模态逻辑S4的覆盖语义及其完备性
学术论文 | 更新时间：2025-07-16
上一篇|下一篇

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

    • Covering Semantics of Modal Logic S4 and its Completeness

    • 于海 ，詹婉荣 ，张瑞玲
    • 电子学报 2012年40卷第4期 页码：745-750

    • DOI： 10.3969/j.issn.0372-2112.2012.04.020     

      中图分类号：

    移动端阅览

  •  
  •  

  • HTML全文

  • 参考文献

  • 出版信息

  • 数据统计

论文导航
icon
试读结束，您可以激活您的VIP账号继续阅读。
去激活 >
icon
试读结束，您可以通过登录账户，到个人中心，购买VIP会员阅读全文。
已是VIP会员？
去登录 >

27

浏览量

36

下载量

0

CSCD

文章被引用时，请邮件提醒。
提交
工具集
  • BibTeX下载
  • Endnote下载
  • RefMan 下载
  • NoteExpress下载
  • NoteFirst下载

相关文章

一元子结构谓词逻辑中相似的代数语义
模态逻辑系统S5中极大相容理论的结构刻画
面向扇出型晶圆级封装的芯片间RDL布线算法
CloAct：基于克隆关系和模体的关键类识别方法
包含绕包铝箔屏蔽的数据线缆信号完整性解析方法

相关作者

王军涛
王梅
折延宏
李璧镜
王军涛
王梅
折延宏

相关机构

西安石油大学理学院
陕西科技大学电气与控制工程学院
宝鸡文理学院数学系
宝鸡文理学院数学系
西安石油大学理学院