Art

J-GLOBAL ID：201902111082903459   Reference number：19S1408039

Unification-based resolution method for modal logic with finite frames

Author (3)： Hagihara, Shigeki (Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology) ,  Tomoishi, Masahiko (Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology) ,  Yonezaki, Naoki (Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology)
Material： Computer Software
Volume： 18  Page： 78-91  Publication year： 2000 
JST Material Number： SCOPUS  ISSN： 0289-6540 
Country of issue： Japan (JPN)