System of Spheres-based Multiple Contractions

被引：10

作者：

Ferme, Eduardo ^{[1
]}

Reis, Mauricio D. L. ^{[1
,2
]}

机构：

[1] Univ Madeira, Madeira Interact Technol Inst, Funchal, Portugal

[2] Univ Madeira, Ctr Ciencias Exactas & Engn, Funchal, Portugal

来源：

JOURNAL OF PHILOSOPHICAL LOGIC | 2012年 / 41卷 / 01期

关键词：

Belief change; Theory contraction; Multiple contraction; Possible worlds semantics; System of spheres; REVISION;

D O I：

10.1007/s10992-011-9197-z

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

We propose a new class of multiple contraction operations - the system of spheres-based multiple contractions - which are a generalization of Grove's system of spheres-based (singleton) contractions to the case of contractions by (possibly non-singleton) sets of sentences. Furthermore, we show that this new class of functions is a subclass of the class of the partial meet multiple contractions.

引用

页码：29 / 52

页数：24

共 13 条

[1]

Alchourrn C., 1981, New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics, P125, DOI 10.1007/978-94-009-8484-4_5

[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]

[Anonymous], 1999, A Textbook of Belief Dynamics: Theory Change and Database Updating

[4] Multiple Kernel Contraction [J].

Eduardo Fermé ;

Karina Saez ;

Pablo Sanz .

Studia Logica, 2003, 73 (2) :183-195

[5]

FUHRMANN A, 1991, J PHILOS LOGIC, V20, P175

[6]

Fuhrmann A., 1994, Journal of Logic, Language and Information, V3, P39, DOI 10.1007/BF01066356

[7]

Fuhrmann A., 1988, THESIS AUSTR NATL U

[8]

Grove Adam, 1988, J PHILOS LOGIC, V17, P157

[9]

HANSSON SO, 1989, THEORIA, V55, P114

[10] Possible Worlds Semantics for Partial Meet Multiple Contraction [J].

Reis, Mauricio D. L. ;

Ferme, Eduardo .

JOURNAL OF PHILOSOPHICAL LOGIC, 2012, 41 (01) :7-28

← 1 2 →