THEORY CONTRACTION THROUGH BASE CONTRACTION

被引:6
作者
FUHRMANN, A
机构
关键词
D O I
暂无
中图分类号
B81 [逻辑学(论理学)];
学科分类号
010104 ; 010105 ;
摘要
引用
收藏
页码:175 / 203
页数:29
相关论文
共 21 条
[1]  
Alchourron C., 1985, STUD LOGICA, V44, P405, DOI [10.1007/BF00370430, DOI 10.1007/BF00370430]
[2]   ON THE LOGIC OF THEORY CHANGE - PARTIAL MEET CONTRACTION AND REVISION FUNCTIONS [J].
ALCHOURRON, CE ;
GARDENFORS, P ;
MAKINSON, D .
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) :510-530
[3]  
COLLINS J, 1988, MIND, V98, P333
[4]   AN ASSUMPTION-BASED TMS [J].
DEKLEER, J .
ARTIFICIAL INTELLIGENCE, 1986, 28 (02) :127-162
[5]   TRUTH MAINTENANCE SYSTEM [J].
DOYLE, J .
ARTIFICIAL INTELLIGENCE, 1979, 12 (03) :231-272
[6]  
DUNN JM, 1986, HDB PHILOS LOGIC, V3, P117
[7]   REFLECTIVE MODALITIES AND THEORY CHANGE [J].
FUHRMANN, A .
SYNTHESE, 1989, 81 (01) :115-134
[8]  
FUHRMANN A, 1990, IN PRESS MULTIPLE CO
[9]   BELIEF REVISIONS AND THE RAMSEY TEST FOR CONDITIONALS [J].
GARDENFORS, P .
PHILOSOPHICAL REVIEW, 1986, 95 (01) :81-93
[10]  
GARDENFORS P, 1990, REV INT PHILOS