Finite Contractions on Infinite Belief Sets
2012 (English)In: Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, E-ISSN 1572-8730, Vol. 100, no 5, 907-920 p.Article in journal (Refereed) Published
Contractions on belief sets that have no finite representation cannot be finite in the sense that only a finite number of sentences is removed. However, such contractions can be delimited so that the actual change takes place in a logically isolated, finite-based part of the belief set. A construction that answers to this principle is introduced, and is axiomatically characterized. It turns out to coincide with specified meet contraction.
Place, publisher, year, edition, pages
2012. Vol. 100, no 5, 907-920 p.
Specified meet contraction, Finitely contextual contraction, Sentential selector, Context, Infinite set, Belief change, Contraction, Finite contraction
IdentifiersURN: urn:nbn:se:kth:diva-105016DOI: 10.1007/s11225-012-9440-9ISI: 000309876300001ScopusID: 2-s2.0-84867498244OAI: oai:DiVA.org:kth-105016DiVA: diva2:570312
QC 201211192012-11-192012-11-152012-11-19Bibliographically approved