Digitala Vetenskapliga Arkivet

Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Blockage Contraction
KTH, Skolan för arkitektur och samhällsbyggnad (ABE), Filosofi och teknikhistoria, Filosofi.ORCID-id: 0000-0003-0071-3919
2013 (Engelska)Ingår i: Journal of Philosophical Logic, ISSN 0022-3611, E-ISSN 1573-0433, Vol. 42, nr 2, s. 415-442Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

Blockage contraction is an operation of belief contraction that acts directly on the outcome set, i.e. the set of logically closed subsets of the original belief set K that are potential contraction outcomes. Blocking is represented by a binary relation on the outcome set. If a potential outcome X blocks another potential outcome Y, and X does not imply the sentence p to be contracted, then Y not equal aEuro parts per thousand K A center dot p. The contraction outcome K A center dot p is equal to the (unique) inclusion-maximal unblocked element of the outcome set that does not imply p. Conditions on the blocking relation are specified that ensure the existence of such a unique inclusion-maximal set for all sentences p. Blockage contraction is axiomatically characterized and its relations to AGM-style operations are investigated. In a finite-based framework, every transitively relational partial meet contraction is also a blockage contraction.

Ort, förlag, år, upplaga, sidor
2013. Vol. 42, nr 2, s. 415-442
Nyckelord [en]
Blockage contraction, Blocking relation, Repertoire contraction, Outcome set, Partial meet contraction, AGM, Belief bases, Kernel contraction
Nationell ämneskategori
Filosofi
Identifikatorer
URN: urn:nbn:se:kth:diva-121466DOI: 10.1007/s10992-012-9231-9ISI: 000316677000009Scopus ID: 2-s2.0-84875442323OAI: oai:DiVA.org:kth-121466DiVA, id: diva2:619084
Anmärkning

QC 20130502

Tillgänglig från: 2013-05-02 Skapad: 2013-04-29 Senast uppdaterad: 2024-03-18Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Sök vidare i DiVA

Av författaren/redaktören
Hansson, Sven Ove
Av organisationen
Filosofi
I samma tidskrift
Journal of Philosophical Logic
Filosofi

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 74 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf