Possible Worlds Semantics for Partial Meet Multiple Contraction

被引：10

作者：

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

Ferme, Eduardo ^{[2
]}

机构：

[1] Univ Madeira, Ctr Ciencias Exactas & Engn, P-9020105 Funchal, Portugal

[2] Univ Madeira, Madeira Interact Technol Inst, P-9020105 Funchal, Portugal

来源：

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

关键词：

Belief change; Theory contraction; Multiple contraction; Possible worlds semantics; REVISION FUNCTIONS; LOGIC;

D O I：

10.1007/s10992-011-9198-y

中图分类号：

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

学科分类号：

010104 ; 010105 ;

摘要：

In the logic of theory change, the standard model is AGM, proposed by Alchourron et al. (J Symb Log 50: 510-530, 1985). This paper focuses on the extension of AGM that accounts for contractions of a theory by a set of sentences instead of only by a single sentence. Hansson (Theoria 55: 114-132, 1989), Fuhrmann and Hansson (J Logic Lang Inf 3: 39-74, 1994) generalized Partial Meet Contraction to the case of contractions by (possibly non-singleton) sets of sentences. In this paper we present the possible worlds semantics for partial meet multiple contractions.

引用

页码：7 / 28

页数：22

共 15 条

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

ALCHOURRON CE, 1982, THEORIA, V48, P14

[4]

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

[5]

Chellas B. F., 1980, Modal Logic: An Introduction

[6]

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

[7]

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

[8]

Fuhrmann A., 1988, THESIS AUSTR NATL U

[9]

Gardenfors P., 1988, Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, P83

[10]

Gardenfors P., 1988, Knowledge in flux

← 1 2 →