Extending the Standard Format of Adaptive Logics to the Prioritized Case

Frederik Van de Putte, Christian Strasser

Research output: Contribution to journalArticleAcademicpeer-review

19 Citations (Scopus)


This paper introduces a new format for reasoning with prioritized standards of normality. It is applicable in a broad variety of contexts, e.g. dealing with (possibly conflicting) prioritized belief bases or combining different reasoning methods in a prioritized way. The format is a generalization of the standard format of adaptive logics (see [4]). Every logic that is formulated within it has a straightforward semantics in the style of Shoham's selection semantics (see [22]) and a dynamic proof theory. Furthermore, it can count on a rich meta-theory that inherits the attractive features of the standard format, such as soundness and completeness, reflexivity, idempotence, cautious monotonicity, and many other properties.
Original languageEnglish
Pages (from-to)601-641
Number of pages41
JournalLogique et Analyse
Issue number220
Publication statusPublished - 2012
Externally publishedYes


Dive into the research topics of 'Extending the Standard Format of Adaptive Logics to the Prioritized Case'. Together they form a unique fingerprint.

Cite this