A modal nonmonotonic logic

作     者：林作铨 

作者机构：Institute of Computer ScienceShantou UniversityShantou 515063China 

出 版 物：《Science China(Technological Sciences)》 (中国科学（技术科学英文版）)

年 卷 期：1996年第39卷第3期

页      面：303-321页

核心收录：

学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学] 

基　　金：Project in part supported by the National Natural Science Foundation of China  the National Hi-Tech 863 Programme  the National Project of Fundamental Research (Climbing)and by Guangdong Natural Science Foundation 

主　　题：nonmonotonic logic modal logic modal nonmonotonic logic experiential logic. 

摘      要：A modal nonmonotonic logic is presented based on an experiential modal semantics on typicality and *** syntactic and semantics of modal nonmonotonic logic are provided,and the completeness theorem and the theorems relating it to major nonmonotonic logics are *** directly formalizes the intuition of nonmonotonic *** other things,it provides us a first-order extension of default logic and autoepistemic logic,and simultaneously has the capability of circumscription to infer universal *** has important applications in logic programming and deductive data *** a result,it provides a uniform basis for various nonmonotonic logics,from which the correspondent relationship among major nonmonotonic logics can coincide.