Extending the standard format of adaptive logics to the prioritized case
Title | Extending the standard format of adaptive logics to the prioritized case |
Publication Type | Journal Article |
Year of Publication | 2012 |
Authors | Van De Putte, F, Straßer, C |
Journal | Logique et Analyse |
Volume | 55 |
Number | 220 |
Pagination | 601–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 Shohams 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 Key | van2012extending |
UGent Biblio Link | http://hdl.handle.net/1854/LU-3099666 |
---|
UGent Biblio Link: