Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
An Axiomatic Characterization of Base-Generated Multiple Partial Meet Contraction
KTH, School of Architecture and the Built Environment (ABE), Philosophy and History of Technology, Philosophy.ORCID iD: 0000-0003-0071-3919
2012 (English)In: Studies in Logic, ISSN 1674-3202, Vol. 5, no 1, 1-10 p.Article in journal (Refereed) Published
Abstract [en]

This paper combines two generalizations of the AGM (AlchourrónGärdenforsMakinson) framework for belief contraction, namely (1) base-generated contraction, in whichchanges on the belief set are generated from changes on an underlying belief base, and (2) multi-ple contraction, in which several sentences are removed at one and the same time. An operationthat combines the two generalizations,base-generated multiple partial meet contraction, is in-troduced and axiomatically characterized

Place, publisher, year, edition, pages
2012. Vol. 5, no 1, 1-10 p.
National Category
Philosophy
Identifiers
URN: urn:nbn:se:kth:diva-86298OAI: oai:DiVA.org:kth-86298DiVA: diva2:500593
Note

QC 20130514

Available from: 2012-02-13 Created: 2012-02-13 Last updated: 2013-05-14Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Hansson, Sven Ove
By organisation
Philosophy
Philosophy

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 36 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf