%0 Journal Article
%T MODAL RESOLUTION FOR MODAL SYSTEMS K4 AND D4<br>模态K4、D4系统的归结推理
%A Sun Jigui
%A Li Qiao
%A Liu Xuhua
%A <br>孙吉贵
%A 李乔
%A 刘叙华
%J 软件学报
%D 1995
%I 
%X 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.
%K Modal systems K4 and D4
%K Modal resolution
%K Automated reasoning<br>模态逻辑K4和D4系统，模态归结，自动推理
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=D708A8670370053CD6159D8B10C79621&yid=BBCD5003575B2B5F&vid=B31275AF3241DB2D&iid=59906B3B2830C2C5&sid=81D76BB45305F8B7&eid=626A0FE8E3130AB5&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=16