%0 Journal Article
%T 一阶模态逻辑归结推理
%A 孙吉贵 刘叙华？
%J 计算机科学
%D 1993
%K 模态逻辑一阶模态逻辑推理
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=1090010&flag=1