Change search
ReferencesLink to record
Permanent link

Direct link
Descriptor Revision
KTH, School of Architecture and the Built Environment (ABE), Philosophy and History of Technology, Philosophy.
2014 (English)In: Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, E-ISSN 1572-8730, Vol. 102, no 5, 955-980 p.Article in journal (Refereed) Published
Abstract [en]

A descriptor is a set of sentences that are truth-functional combinations of expressions of the form , where is a metalinguistic belief predicate and p a sentence in the object language in which beliefs are expressed. Descriptor revision (denoted ) is an operation of belief change that takes us from a belief set K to a new belief set where is a descriptor representing the success condition. Previously studied operations of belief change are special cases of descriptor revision, hence sentential revision can be represented as , contraction as , multiple contraction as , replacement as , etc. General models of descriptor revision are constructed and axiomatically characterized. The common selection mechanisms of AGM style belief change cannot be used, but they can be replaced by choice functions operating directly on the set of potential outcomes (available belief sets). The restrictions of this construction to sentential revision () and sentential contraction give rise to operations with plausible properties that are also studied in some some detail.

Place, publisher, year, edition, pages
2014. Vol. 102, no 5, 955-980 p.
Keyword [en]
Belief change, Descriptor revision, Expansion, Monoselective choice function, Outcome set, Pure contraction, Revocation, Semirevision
National Category
Philosophy Other Mathematics
URN: urn:nbn:se:kth:diva-156456DOI: 10.1007/s11225-013-9512-5ISI: 000343832400002ScopusID: 2-s2.0-84919389338OAI: diva2:767427

QC 20141201

Available from: 2014-12-01 Created: 2014-11-28 Last updated: 2014-12-01Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Hansson, Sven Ove
By organisation
In the same journal
Studia Logica: An International Journal for Symbolic Logic
PhilosophyOther Mathematics

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 26 hits
ReferencesLink to record
Permanent link

Direct link