Systematic withdrawal

Journal of Philosophical Logic

Volumn 31, Issue 5, 2002, Pages 415-443

  Meyer, Thomas ^a   Heidema, Johannes ^b   Labuschagne, Willem ^c   Leenen, Louise ^b  

^a UNIVERSITY OF PRETORIA   (South Africa)

^b UNIVERSITY OF SOUTH AFRICA   (South Africa)

^c UNIVERSITY OF OTAGO   (New Zealand)

Author keywords

Belief change; Belief revision; Severe withdrawal; Theory contraction; Withdrawal

Indexed keywords

EID: 27144534627     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1020199115746     Document Type: Article

References (33)

1. Alchourrón, C. E. and Makinson, D.: 1982, On the logic of theory change: Contraction functions and their associated revision functions, Theoria 48, 14-37.
2. Alchourrón, C.E. and Makinson, D.: 1985, On the logic of theory change: Safe contraction, Studia Logica 44, 405-422.
3. Alchourrón, C. E., Gärdenfors, P. and Makinson, D.: 1985, On the logic of theory change: Partial meet functions for contraction and revision, J. Symbolic Logic 50, 510-530.
4. Boutilier, C: 1994, Unifying default reasoning and belief revision in a modal framework, Artificial Intelligence 68, 33-85.
5. Cantwell, J.: 1999, Some logics of iterated belief change, Studia Logica 63(1), 49-84.
6. Fermé, E.: 1998, On the logic of theory change: Contraction without recovery, J. Logic, Language and Inform. 7(2), 122-137.
7. Fermé, E. and Rodriguez, R.: 1998, Semi-contraction: Axioms and construction, Unpublished manuscript, Universidad de Buenos Aires.
8. Fuhrmann, A.: 1991, Theory contraction through base contraction, J. Philos. Logic 20, 175-203.
9. Gärdenfors, P.: 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States, The MIT Press, Cambridge, MA.
10. Gärdenfors, P. and Makinson, D.: 1988, Revisions of knowledge systems using epistemic entrenchment, in M. Vardi (ed.), Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, Morgan Kaufmann, Los Altos, California, pp. 83-95.
11. Ginsberg, M. L.: 1986, Counterfactuals, Artificial Intelligence 30, 35-79.
12. Grove, A.: 1988, Two modellings for theory change, J. Philos. Logic 17, 157-170.
13. Hansson, S. O.: 1991, Belief contraction without recovery, Studia Logica 50, 251-260.
14. Hansson, S. O.: 1992, A dyadic representation of belief, in P. Gärdenfors (ed.), Belief Revision, Cambridge University Press, Cambridge, pp. 89-121.
15. Hansson, S. O.: 1993, Theory contraction and base contraction unified, J. Symbolic Logic 58(2), 602-625.
16. Hansson, S. O.: 1996, Knowledge-level analysis of belief base operations, Artificial Intelligence 82, 215-235.
17. Hansson, S. O.: 1999, A Textbook of Belief Dynamics, Theory Change and Database Updating, Kluwer Academic Publishers, Dordrecht.
18. Hansson, S. O. and Olsson, E. J.: 1995, Levi contractions and AGM contractions: A comparison, Notre Dame J. Formal Logic 36(1), 103-119.
19. Katsuno, H. and Mendelzon, A.: 1991, Propositional knowledge base revision and minimal change, Artificial Intelligence 52, 263-294.
20. Lehmann, D. and Magidor, M.: 1992, What does a conditional knowledge base entail?, Artificial Intelligence 55, 1-60.
21. Levi, I: 1991, The Fixation of Belief and Its Undoing, Cambridge University Press, Cambridge.
22. Levi, I: 1998, Contraction and informational value, Unpublished manuscript, Columbia University.
23. Lindström, S. and Rabinowicz, W.: 1991, Epistemic entrenchment with incomparabilities and relational belief revision, in A. Fuhrmann and M. Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 1989, Proceedings, Lecture Notes in Artificial Intelligence 465, Springer-Verlag, Berlin, pp. 93-126.
24. Makinson, D.: 1987, On the status of the postulate of Recovery in the logic of theory change, J. Philos. Logic 16, 383-394.
25. Makinson, D.: 1997, On the force of some apparent counterexamples to Recovery, in E. G. Valdés, W. Krawietz, G. H. von Wright, and R. Zimmerling (eds.), Normative Systems in Legal and Moral Theory, Dunker and Humboldt, Berlin.
26. Meyer, T. A.: 1999, Semantic belief change, Ph.D. Thesis, Department of Computer Science and Information Systems, University of South Africa, Pretoria, South Africa.
27. Meyer, T. A., Labuschagne, W. A. and Heidema, J.: 2000, Refined epistemic entrenchment, J. Logic, Language and Inform. 9(2), 237-259.
28. Nayak, A. C: 1994, Foundational belief change, J. Philos. Logic 23, 495-533.
29. Niederee, R.: 1991, Multiple contraction. A further case against Gärdenfors's principle of recovery, in A. Fuhrmann and M. Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 1989, Proceedings, Lecture Notes in Artificial Intelligence 465, Springer-Verlag, Berlin, pp. 322-334.
30. Pagnucco, M.: 1996, The role of abductive reasoning within the process of belief revision, Ph.D. Thesis, Basser Department of Computer Science, University of Sydney, Australia.
31. Rott, H.: 1992, Modellings for belief change: Prioritization and entrenchment, Theoria 58(1), 21-57.
32. Rott, H.: 1995, Just because. Taking belief bases very seriously, in S. O. Hansson and W. Rabinowicz (eds.), Logic for a Change, Vol. 9, Uppsala Prints and Preprints in Philosophy, pp. 106-124.
33. Rott, H. and Pagnucco, M.: 1999, Severe withdrawal (and Recovery), J. Philos. Logic 25(5), 501-547.