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
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
Revision history
Archival date: 2015-12-28
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total downloads
129 ( #18,123 of 37,125 )

Recent downloads (6 months)
15 ( #20,847 of 37,125 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.