Till innehåll på sidan
Till KTH:s startsida Till KTH:s startsida

Ny artikel: Sven Ove Hansson, “AGM contraction is not reconstructible as a descriptor operation"

Publicerad 2017-06-12

Ny artikel: Sven Ove Hansson, “AGM contraction is not reconstructible as a descriptor operation", Journal of Logic and Computation 27(4):1133-1141. Artikeln är en undersökning av förhållandet mellan två operationer i logiska modeller av övertygelseförändringar: traditionell kontraktion (som innebär att övertygelser ges upp) och den nya, i flera avseenden mer generalla operationen deskriptor-revision.