References
Alchourron, C. and D.Makinson (1985), “On the logic of theory change: safe contractions”, Studia Logica, 44, pp. 405–422.
Alchourron, C., P.Gärdenfors, and D.Makinson (1985), “On the logic of theory change: partial meet functions for contraction and revision”, Journal of Symbolic Logic, 50, pp. 510–530.
Collins, J. (1988), “Belief, desire and revision” Mind, 98, pp. 333–342.
deKleer, J. (1986), “An assumption-based TMS”, Artificial Intelligence, 28, pp. 127–162.
Doyle, J. (1979), “A truth maintenance system”, Artificial Intelligence, 12, pp. 231–272.
Dunn, J. M. (1986), “Relevance logic and entailment”, in Handbook of Philosophical Logic, ed. D.Gabbay and F.Guenthner, vol. 3, pp. 117–224, Dordrecht (Reidel).
Fuhrmann, A. (1990), “On multiple contractions”, forthcoming.
Fuhrmann, A. (1989), “Reflective modalities and theory change”, Synthese, 81, pp. 115–134.
Gärdenfors, P. (1986), “Belief revisions and the Ramsey test for conditionals”, Philosophical Review, 95, pp. 81–93.
Gärdenfors, P. (1987), “Variations on the Ramsey test: more triviality results”, Studia Logica, 46, pp. 319–325.
Gärdenfors, P. (1988), Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge (MIT Press).
Gärdenfors, P. (1990), “The dynamics of belief systems: foundations vs. coherence theories”, Revue Internationale de Philosophie.
Gärdenfors, P. and D.Makinson (1988), “Revisions of Knowledge systems and epistemic entrenchment”, in Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, ed. by M. Y.Vardi, Los Altos, Cal. (Morgan Kaufmann).
Harman, G. (1986), Change in View: Principles of Reasoning, Cambridge, Mass. (MIT Press).
Levi, I. (1977), “Subjunctives, dispositions and chances”, Synthese, 34, pp. 423–455.
Levi, I. (1988), “Iteration of conditionals and the Ramsey test”, Synthese, 76, pp. 49–81.
Lindström, S. and W.Rabinowicz (1989), “On probabilistic representation of non-probabilistic belief revision”, Journal of Philosophical Logic, 18, pp. 69–102.
Makinson, D. (1985), “How to give it up: a survey of some formal aspects of the logic of theory change”, Synthese, 62, pp. 347–363.
Makinson, D. (1987), “On the status of the postulate for recovery in the logic of theory change”, Journal of Philosophical Logic, 16, pp. 383–394.
Martins, J. and S.Shapiro (1986), “Theoretical foundations for belief revision”, in Theoretical Aspects of Reasoning About Knowledge, pp. 383–398, Los Altos (Morgan Kaufmann).
Segerberg, K. (1986), “On the logic of small changes in theories I”, Acta Philosophica Fennica.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Fuhrmann, A. Theory contraction through base contraction. J Philos Logic 20, 175–203 (1991). https://doi.org/10.1007/BF00284974
Issue Date:
DOI: https://doi.org/10.1007/BF00284974