A survey of paraconsistent logics that are prominent representatives of the different approaches that have been followed to develop paraconsistent logics is provided. The paraconsistent logics that will be discussed are an enrichment of Priest's logic LP, the logic RM3 from the school of relevance logic, da Costa's logics Cn, Jaśkowski's logic D2, and Subrahmanian's logics Pτ . A deontic logic based on the first of these logics will be discussed as well. Moreover, some proposed adaptations of the AGM theory of belief revision to paraconsistent logics will be mentioned. 1 In [30] , reference is made to several publications in which a formulation of D2 can be found. All formulations concerned, as well as the one in [43] , are incorrect (cf. [24] ). Consequently, the formulations of the extension of D2 to a predicate logic that can be found in some of these publications are incorrect as well.
For a survey of several paraconsistent logics, see for instance REF .
A Survey of Paraconsistent Logics
ArXiv
ArXiv
Mathematics Computer Science