On the logic of theory change: Safe contraction

Studia Logica 44 (4):405 - 422 (1985)
  Copy   BIBTEX


This paper is concerned with formal aspects of the logic of theory change, and in particular with the process of shrinking or contracting a theory to eliminate a proposition. It continues work in the area by the authors and Peter Gärdenfors. The paper defines a notion of safe contraction of a set of propositions, shows that it satisfies the Gärdenfors postulates for contraction and thus can be represented as a partial meet contraction, and studies its properties both in general and under various natural constraints



    Upload a copy of this work     Papers currently archived: 76,264

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

62 (#193,767)

6 months
1 (#449,844)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Makinson
London School of Economics

Citations of this work

On the logic of iterated belief revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89 (1-2):1-29.
Propositional Reasoning that Tracks Probabilistic Reasoning.Hanti Lin & Kevin Kelly - 2012 - Journal of Philosophical Logic 41 (6):957-981.
Reliabilism, Stability, and the Value of Knowledge.Erik J. Olsson - 2007 - American Philosophical Quarterly 44 (4):343 - 355.
Iterated revision and minimal change of conditional beliefs.Craig Boutilier - 1996 - Journal of Philosophical Logic 25 (3):263 - 305.

View all 94 citations / Add more citations