Extending the standard format of adaptive logics to the prioritized case

Title data

van de Putte, Frederik ; Straßer, Christian:
Extending the standard format of adaptive logics to the prioritized case.
In: Logique et Analyse. Vol. 55 (2012) Issue 220 . - pp. 601-641.
ISSN 2295-5836

Official URL:

Abstract in another language

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.

Further data

Item Type:	Article in a journal
Refereed:	Yes
Institutions of the University:	Faculties > Faculty of Cultural Studies Faculties > Faculty of Cultural Studies > Department of Philosophy Faculties > Faculty of Cultural Studies > Department of Philosophy > Chair Philosophy I Faculties
Result of work at the UBT:	No
DDC Subjects:	100 Philosophy and psychology 100 Philosophy and psychology > 100 Philosophy 100 Philosophy and psychology > 160 Logic
Date Deposited:	27 Nov 2018 07:41
Last Modified:	27 Nov 2018 07:41
URI:	https://eref.uni-bayreuth.de/id/eprint/46388