%0 Journal Article
%T 模态K4、D4系统的归结推理
%A 刘叙华
%A 孙吉贵
%A 李乔
%J -
%D 1995
%X 本文将Ｐ．Ｅｎｊａｌｂｅｒｔ和Ｌ．ＦａｒｉｎａｓｄｅｌＣｅｒｒｏ提出的模态归结推理方法推广到命题模态逻辑K4和D4系统，建立了K4逻辑的归结推理ＲK4；D4逻辑的归结推理R D4，分别证明了ＲK4和ＲD4关于
%K 模态逻辑K4和D4系统
%K 模态归结
%K 自动推理
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19951206&flag=1