The AGM theory and inconsistent belief change

Koji Tanaka

Research output: Contribution to journalArticlepeer-review

14 Citations (Scopus)


The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to apply to Grove's sphere system, a semantical representation of the AGM theory, logics that do not infer everything from contradictory premises, viz., paraconsistent logics. I use three paraconsistent logics and discuss three sphere systems that are based on them. I then examine the completeness of the postulates of the AGM theory with respect to the systems. At the end, I discuss some philosophical implications of the examination.
Original languageEnglish
Pages (from-to)113-150
Number of pages38
JournalLogique et Analyse
Issue number189-192
Publication statusPublished - 2005


Dive into the research topics of 'The AGM theory and inconsistent belief change'. Together they form a unique fingerprint.

Cite this