Paraconsistent Belief Revision based on a formal consistency operator

CLE E-Prints 15 (8):01-11 (2015)
Download Edit this record How to cite View on PhilPapers
Abstract
In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion of formal consistency.
PhilPapers/Archive ID
TESPBR
Upload history
Archival date: 2015-12-28
View other versions
Added to PP index
2015-12-28

Total views
197 ( #23,365 of 52,999 )

Recent downloads (6 months)
12 ( #39,934 of 52,999 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.