全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用：99美元
投递稿件

查看量下载量

相关文章

更多...
-  1995 

模态K4、D4系统的归结推理

Keywords: 模态逻辑K4和D4系统,模态归结,自动推理

Full-Text   Cite this paper   Add to My Lib

Abstract:

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

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133