Logique et Analyse

TitleExtending the standard format of adaptive logics to the prioritized case
Publication TypeJournal Article
Year of Publication2012
AuthorsVan De Putte, F, Straßer, C
JournalLogique et Analyse
Volume55
Number220
Pagination601–641
Abstract

This paper introduces a new format for reasoning with prioritized stan- dards 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 gener- alization 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. Fur- thermore, it can count on a rich meta-theory that inherits the attractive features of the standard format, such as soundness and completeness, re- flexivity, idempotence, cautious monotonicity, and many other properties.

Citation Keyvan2012extending