Modal extension rule

作     者：WU Xia*, SUN Jigui, LIN Hai and FENG Shasha(College of Computer Science and Technology, Jilin University, Changchun 130012, China Key Laboratory for Symbolic Computation and Knowledge Engineering, Jilin University, Changchun 130012, China) 

作者机构：College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory for Symbolic Computation and Knowledge Engineering Jilin University Changchun 130012 China 

出 版 物：《Progress in Natural Science:Materials International》 (自然科学进展·国际材料(英文))

年 卷 期：2005年第15卷第6期

页      面：550-558页

核心收录：

学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0805[工学-材料科学与工程（可授工学、理学学位）] 0701[理学-数学] 0702[理学-物理学] 

基　　金：SupportedbyNationalNaturalScienceFoundationofChina(GrantNos.60273080,60473003) theScienceandTechnologyDevelopmentProgramofJilinProvinceofChina(GrantNo.20020306) 

主　　题：theorem proving extension rule modal logics functional transformation. 

摘      要：Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.