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 条

[41] Some non-classical logics seen from a variety of perspectives
Nuel Belnap
[J]. 中山大学学报(社会科学版), 2003, (S1) : 167 - 179
[42] Application of non-classical logics in legal practices and legal education
Gomez Francisco, Taeli
[J]. ANDAMIOS, 2023, 20 (53): : 181 - 203
[43] A MECHANIZED DECISION PROCEDURE FOR NON-CLASSICAL LOGICS - THE PROGRAM KRIPKE
MCROBBIE, MA
THISTLEWAITE, PB
MEYER, RK
[J]. JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (03) : 717 - 717
[44] Bounded Sequent Calculi for Non-classical Logics via Hypersequents
Ciabattoni, Agata
Lang, Timo
Ramanayake, Revantha
[J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2019, 2019, 11714 : 94 - 110
[45] Beyond Rasiowa's algebraic approach to non-classical logics
Font J.M.
[J]. Studia Logica, 2006, 82 (2) : 179 - 209
[46] L-algebras and three main non-classical logics
Rump, Wolfgang
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2022, 173 (07)
[47] Semantical investigations on non-classical logics with recovery operators: negation
Fuenmayor, David
[J]. LOGIC JOURNAL OF THE IGPL, 2023,
[48] Some non-classical logics seen from a variety of perspectives
Nuel Belnap
[J]. 中山大学学报(社会科学版), 2003, (社会科学版) - 179
[49] BIBLIOGRAPHY ON: NON-CLASSICAL LOGICS. FOUNDATION, APPLICATIONS AND PERMANENCE
Jasso Mendez, Jesus
Conforti, Claudio M.
Alonso Gonzalez, Enrique
[J]. ANDAMIOS, 2023, 20 (53): : 323 - 338
[50] Algebraic kripke sheaf semantics for non-classical predicate logics
Suzuki N.-Y.
[J]. Studia Logica, 1999, 63 (3) : 387 - 416

← 1 2 3 4 5 →