微信服务号

微信订阅号

首页 > 过刊浏览>1995年第6卷第12期 >742-750
PDF HTML阅读 XML下载 导出引用 引用提醒
模态K4、D4系统的归结推理
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

本课题受国家自然科学基金和863计划国家攀登计划资助.


MODAL RESOLUTION FOR MODAL SYSTEMS K4 AND D4
Author:
Affiliation:

Fund Project:

  • 摘要
    • |
  • 图/表
    • |
  • 访问统计
    • |
  • 参考文献
    • |
  • 相似文献
    • |
  • 引证文献
    • |
  • 资源附件
    • |
  • 文章评论
    摘要:

    本文将Ｐ．Ｅｎｊａｌｂｅｒｔ和Ｌ．ＦａｒｉｎａｓｄｅｌＣｅｒｒｏ提出的模态归结推理方法推广到命题模态逻辑K4和D4系统，建立了K4逻辑的归结推理ＲK4；D4逻辑的归结推理R D4，分别证明了ＲK4和ＲD4关于K

    Abstract:

    In this paper, the modal resolution method presented by P. Enjalbert and L.Farinas del Cerro is extended to modal systems K4 and D4. Then, the soundness and completeness of R K4 relative to K4 is proved, and also for R D4 relative to D4.

    参考文献
    相似文献
    引证文献
引用本文

孙吉贵,李乔,刘叙华.模态K4、D4系统的归结推理.软件学报,1995,6(12):742-750

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1994-06-06
  • 最后修改日期:1994-11-28
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号