On the logic of small changes in hypertheories

Theoria

Volumn 63, Issue 1-2, 1997, Pages 54-89

  Cantwell, John ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 2942653798     PISSN: 00405825     EISSN: 17552567     Source Type: Journal    
DOI: 10.1111/j.1755-2567.1997.tb00740.x     Document Type: Review

References (19)

1. BOUTILIER, C. ( 1993). "Revision Sequences and Nested Conditionals", Proceedings of International Joint Conference on Artificial Intelligence, pages 513-525
2. CANTWELL, J. (199X). "Some logics of iterated revision", To appear in Studia Logica
3. CANTWELL, J. (1998). "Resolving conflicting information", Journal of Logic, Language and Information 7: 191-220
4. GROVE, A. (1988). "Two modellings for theory change", Journal of Philosophical Logic, 17:157-170
5. GÄRDENFORS, P. (1988). Knowledge In Flux. The MIT press, Cambridge, Massachusetts
6. HANSSON, S-O. (1994). "Taking belief bases seriously", In PRAWITZ, D. and WESTERSTÅHL, D., editors, Logic and Philosophy of science in Uppsala, pages 13-28. Kluwer academic publishers, The Netherlands
7. HANSSON, S-O. (1996). "Semi-Revision", Journal of Applied Non-Classical Logic. In press
8. JEFFREY, R. C. (1965). The logic of decision. Macgraw-Hill, New York
9. LEVI, I. (1980). The Enterprise of Knowledge. The MIT press, Cambridge, Massachusetts
10. LEVI, I. (1991). The Fixation of Belief aund Its Undoing. Cambridge: Cambridge University Press
11. LEWIS, D. (1973). Counterfactuals. Cambridge, Massachusetts: Harvard University Press
12. LINDSTRÖM, S., RABINOWICZ, W. (1991). "Epistemic entrenchment with incomparabilities and relational belief revision", In FUHRMANN, A., editor, The Logic of Theory Change, pages 93-126, Springer-Verlag, Berlin
13. OLSSON, E. (1995). "How to make a belief system coherent", To appear in Journal of Logic, Language and Information
14. Also in HANSSON, S-O. and RABINOWICZ, W., editors, Logic for a change, pages 61-79, Uppsala Prints and Preprints in Philosophy, Uppsala
15. ROTT, H. (1991). "Two methods of constructing contractions and revisions of knowledge systems", Journal of Philosophical Logic 20, pages 149-173
16. ROTT, H. (1992). "Preferential belief change using generalised epistemic entrenchment", Journal of Logic, Language and Information, 1:25-78
17. ROTT, H. (1994). "Coherent choice and epistemic entrenchment (preliminary report)", in NEBEL, B. and DRESCHLER-FISCHER, L., editors, KI-94: Advances in Artificial Intelligence, pages 284-295, Lecture Notes in Artificial Intelligence 861, Springer, Berlin
18. SEGERBERG, K. (1995). "Some questions about hypertheories", in HANSSON, S-O. and RABINOWICZ, W., editors, Logic for a change, pages 136-154. Uppsala Prints and Preprints in Philosophy, Uppsala
19. SEGERBERG, K. (1995b). "Belief revision from the point of view of doxastic logic", Bulletin of the IGPL, 3:535-553