Skip to main content Accessibility help

Kernel contraction

  • Sven Ove Hansson (a1)

Kernel contraction is a natural nonrelational generalization of safe contraction. All partial meet contractions are kernel contractions, but the converse relationship does not hold. Kernel contraction is axiomatically characterized. It is shown to be better suited than partial meet contraction for formal treatments of iterated belief change.

Hide All
[1]Alchourrón, C. E., Gärdenfors, P., and Makinsoń, D., On the logic of theory change: Partial meet contraction and revision functions, this Journal, vol. 50 (1985), pp. 510–530.
[2]Alchourrón, C. E. and Makinson, D., Hierarchies of regulation and their logic, New Studies in Deontic Logic (Hilpinen, , editor), Reidel, Dordrecht, 1981, pp. 125–148.
[3]Alchourrón, C. E., On the logic of theory change: Safe contraction, Studia Logica, vol. 44 (1985), pp. 405–422.
[4]Alchourrón, C. E., Maps between some different kinds of contraction function: The finite case, Studia Logica, vol. 45 (1986), pp. 187–198.
[5]Fuhrmann, A., Theory contraction through base contraction, Journal of Philosophical Logic, vol. 20 (1991), pp. 175–203.
[6]Hansson, S. O., Belief contraction without recovery, Studia Logica, vol. 50 (1992), pp. 251–260.
[7]Hansson, S. O., A dyadic representation of belief, Belief revision (Gärdenfors, P., editor), Cambridge University Press, London and New York, 1992, pp. 89–121.
[8]Hansson, S. O., Hidden structures of belief, Logic, action, and information (Fuhrmann, A. and Rott, H., editors), de Gruyter, Berlin and New York, 1992, in press.
[9]Hansson, S. O., In defense of base contraction, Synthese, vol. 91 (1992), pp. 239–245.
[10]Hansson, S. O., Disjunctively closed bases, Journal of Logic, Language and Information, vol. 2 (1993), pp. 255–284.
[11]Hansson, S. O., Reversing the Levi Identity, Journal of Philosophical Logic vol. 22 (1993), pp. 637–669.
[12]Hansson, S. O., Theory contraction and base contraction unified, this Journal, vol. 58 (1993), pp. 602–625.
[13]Rott, H., On the logic of theory change: More maps between different kinds of contraction functions, Belief revision (Gärdenfors, P., editor), Cambridge University Press, London and New York, 1992, pp. 122–141.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed