Adaptive Logic as a Modal Logic

被引:3
作者
Allo, Patrick [1 ]
机构
[1] Vrije Univ Brussel, Ctr Log & Philosophy Sci, Brussels, Belgium
关键词
Adaptive logic; Modal logic; Preference logic; Nonmonotonic inference;
D O I
10.1007/s11225-012-9403-1
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Modal logics have in the past been used as a unifying framework for the minimality semantics used in defeasible inference, conditional logic, and belief revision. The main aim of the present paper is to add adaptive logics, a general framework for a wide range of defeasible reasoning forms developed by Diderik Batens and his co-workers, to the growing list of formalisms that can be studied with the tools and methods of contemporary modal logic. By characterising the class of abnormality models, this aim is achieved at the level of the model-theory. By proposing formulae that express the consequence relation of adaptive logic in the object-language, the same aim is also partially achieved at the syntactical level.
引用
收藏
页码:933 / 958
页数:26
相关论文
共 16 条
[1]  
[Anonymous], 1996, A New Introduction to Modal Logic
[2]  
[Anonymous], 2002, Cambridge Tracts in Theoretical Computer Science
[3]  
Baltag A., 2008, LOGIC FDN DECISION T, P11
[4]   Minimally abnormal models in some adaptive logics [J].
Batens, D .
SYNTHESE, 2000, 125 (1-2) :5-18
[5]  
Batens D., 1999, LOGIC WORK ESSAYS DE, P445
[6]  
BATENS D., 2012, ADAPTIVE LOGIC UNPUB
[7]  
Batens D, 1989, PARACONSISTENT LOGIC, P187
[8]  
Batens D., 2000, Frontiers of paraconsistent logic, P49
[9]  
Batens D., 1980, Logique et Analyse, V23, P195
[10]   A Universal Logic Approach to Adaptive Logics [J].
Batens, Diderik .
LOGICA UNIVERSALIS, 2007, 1 (01) :221-242