On AGM for Non-Classical Logics

被引：15

作者：

Wassermann, Renata ^{[1
]}

机构：

[1] Univ Sao Paulo, Dept Comp Sci, Inst Math & Stat, Sao Paulo, Brazil

来源：

JOURNAL OF PHILOSOPHICAL LOGIC | 2011年 / 40卷 / 02期

基金：

巴西圣保罗研究基金会;

关键词：

Belief change; Partial meet contraction; Non-classical logics; AGM; CONTRACTION; REVISION;

D O I：

10.1007/s10992-011-9178-2

中图分类号：

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

学科分类号：

010104 ; 010105 ;

摘要：

The AGM theory of belief revision provides a formal framework to represent the dynamics of epistemic states. In this framework, the beliefs of the agent are usually represented as logical formulas while the change operations are constrained by rationality postulates. In the original proposal, the logic underlying the reasoning was supposed to be supraclassical, among other properties. In this paper, we present some of the existing work in adapting the AGM theory for non-classical logics and discuss their interconnections and what is still missing for each approach.

引用

页码：271 / 294

页数：24

共 50 条

[1] On AGM for Non-Classical Logics
Renata Wassermann
[J]. Journal of Philosophical Logic, 2011, 40 : 271 - 294
[2] Minimal Change in AGM Revision for Non-Classical Logics
Ribeiro, Marcio M.
Wassermann, Renata
[J]. FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 657 - 660
[3] Non-classical Metatheory for Non-classical Logics
Bacon, Andrew
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2013, 42 (02) : 335 - 355
[4] Non-classical Metatheory for Non-classical Logics
Andrew Bacon
[J]. Journal of Philosophical Logic, 2013, 42 : 335 - 355
[5] Interpolation in non-classical logics
D'Agostino, Giovanna
[J]. SYNTHESE, 2008, 164 (03) : 421 - 435
[6] SEMANTICS FOR NON-CLASSICAL LOGICS
NAGAI, S
[J]. PROCEEDINGS OF THE JAPAN ACADEMY, 1973, 49 (05): : 337 - 340
[7] Interpolation in non-classical logics
Giovanna D’Agostino
[J]. Synthese, 2008, 164 : 421 - 435
[8] Non-classical logics for quantum computations
Pykacz, J
Zapatrin, RR
[J]. PHOTONIC QUANTUM COMPUTING, 1997, 3076 : 150 - 161
[9] Constructive canonicity in non-classical logics
Ghilardi, S
Meloni, G
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1997, 86 (01) : 1 - 32
[10] Proofs and Countermodels in Non-Classical Logics
Negri, Sara
[J]. LOGICA UNIVERSALIS, 2014, 8 (01) : 25 - 60

← 1 2 3 4 5 →