%0 Journal Article
%T 模态k4、d4系统的归结推理
%A 孙吉贵？
%A 李乔？
%A 刘叙华？
%J 软件学报
%P 742-750
%D 1995
%X 本文将ｐ．ｅｎｊａｌｂｅｒｔ和ｌ．ｆａｒｉｎａｓｄｅｌｃｅｒｒｏ提出的模态归结推理方法推广到命题模态逻辑k4和d4系统，建立了k4逻辑的归结推理ｒk4；d4逻辑的归结推理rd4，分别证明了ｒk4和ｒd4关于k
%K 模态逻辑k4和d4系统
%K 模态归结
%K 自动推理
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19951206&flag=1