Hostname: page-component-745bb68f8f-kw2vx Total loading time: 0 Render date: 2025-01-22T08:56:06.491Z Has data issue: false hasContentIssue false
  • English
  • Français

Kernel contraction

Published online by Cambridge University Press:  12 March 2014

Sven Ove Hansson
Sven Ove Hansson*
Affiliation:
Department of Philosophy, Uppsala University, Villavägen 5, S-752 36 Uppsala, Sweden, E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

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.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 59 , Issue 3 , September 1994 , pp. 845 - 859
Copyright
Copyright © Association for Symbolic Logic 1994

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[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.Google Scholar
[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.Google Scholar
[3]Alchourrón, C. E., On the logic of theory change: Safe contraction, Studia Logica, vol. 44 (1985), pp. 405–422.CrossRefGoogle Scholar
[4]Alchourrón, C. E., Maps between some different kinds of contraction function: The finite case, Studia Logica, vol. 45 (1986), pp. 187–198.CrossRefGoogle Scholar
[5]Fuhrmann, A., Theory contraction through base contraction, Journal of Philosophical Logic, vol. 20 (1991), pp. 175–203.CrossRefGoogle Scholar
[6]Hansson, S. O., Belief contraction without recovery, Studia Logica, vol. 50 (1992), pp. 251–260.Google Scholar
[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.Google Scholar
[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.Google Scholar
[9]Hansson, S. O., In defense of base contraction, Synthese, vol. 91 (1992), pp. 239–245.CrossRefGoogle Scholar
[10]Hansson, S. O., Disjunctively closed bases, Journal of Logic, Language and Information, vol. 2 (1993), pp. 255–284.CrossRefGoogle Scholar
[11]Hansson, S. O., Reversing the Levi Identity, Journal of Philosophical Logic vol. 22 (1993), pp. 637–669.CrossRefGoogle Scholar
[12]Hansson, S. O., Theory contraction and base contraction unified, this Journal, vol. 58 (1993), pp. 602–625.Google Scholar
[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.Google Scholar