Three formats of prioritized adaptive logics: a comparative study

Frederik Van de Putte, Christian Strasser

Research output: Contribution to journalArticleAcademicpeer-review

10 Citations (Scopus)

Abstract

A broad range of defeasible reasoning forms has been explicated by prioritized adaptive logics. However, the relative lack in meta-theory of many of these logics stands in sharp contrast to the frequency of their application. This article presents the first comparative study of a large group of prioritized adaptive logics. Three formats of such logics are discussed: superpositions of adaptive logics, hierarchic adaptive logics from F. Van De Putte (2011, Log. J. IGPL, doi:10.1093/jigpal/jzr025) and lexicographic adaptive logics from F. Van De Putte and C. Stra ss er (2012, Log. Anal., forthcoming). We restrict the scope to logics that use the strategy Minimal Abnormality. It is shown that the semantic characterizations of these systems are equivalent and that they are all sound with respect to either of these characterizations. Furthermore, sufficient conditions for the completeness and equivalence of the consequence relations of the three formats are established. Some attractive properties, including Fixed Point and the Deduction Theorem, are shown to hold whenever these conditions are obeyed.
Original languageEnglish
Pages (from-to)127-159
Number of pages33
JournalLogic Journal of the IGPL
Volume21
Issue number2
DOIs
Publication statusPublished - Apr 2013
Externally publishedYes

Fingerprint

Dive into the research topics of 'Three formats of prioritized adaptive logics: a comparative study'. Together they form a unique fingerprint.

Cite this