Local change

Studia Logica

Volumn 70, Issue 1, 2002, Pages 49-76

  Hansson, Sven Ove ^a   Wassermann, Renata ^b  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^b UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

Base Revision; Belief Change; Relevance

Indexed keywords

EID: 12244286713     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1014654208944     Document Type: Article

References (38)

1. Alchourrón, C., P. Gärdenfors, and D. Makinson: 1985, 'On The Logic of Theory Change'. Journal of Symbolic Logic 50(2), 510-530.
2. Alchourrón, C., and D. Makinson: 1982, 'On The Logic of Theory Change: contraction functions and their associated revision functions'. Theoria 48, 14-37.
3. Benferhat, S., D. Dubois, and H. Prade: 1997, 'Some syntactic approaches to the handling of inconsistent knowledge bases'. Studia Logica 58, 17-45.
4. del Cerro, L. F., and A. Herzig: 1996, 'Belief Change and Dependence'. In: Y. Shoham (ed.): Proceedings of TARK 96.
5. Dunn, M.: 1986, 'Relevance Logic and Entailment'. In: F. Guenthner and D. Gabbay (eds.): Handbook of Philosophical Logic, Vol. 3. D. Reidel, pp. 117-224.
6. Fagin, R., and J. Halpern: 1988, 'Belief, Awareness, and Limited Reasoning'. Artificial Intelligence 34, 39-76.
7. Fuhrmann, A.: 1991, 'Theory Contraction Through Base Contraction'. Journal of Philosophical Logic 20, 175-203.
8. Fuhrmann, A.: 1997, An Esay on Contraction. CSLI Publications and Folli.
9. Gabbay, D.: 1985, 'Theoretical Foundations for Non-monotonic Reasoning in Expert Systems'. In: K. Apt (ed.): Logics and Models of Concurrent Systems. pp. 439-459.
10. Gabbay, D.: 1996, Labelled Deductive Systems (vol.1). Oxford University Press.
11. Hansson, S. O.: 1989, 'New Operators for Theory Change'. Theoria 55, 114-132.
12. Hansson, S. O.: 1991, 'Belief Base Dynamics'. Ph.D. thesis, Uppsala University.
13. Hansson, S. O.: 1992a, 'In Defense of Base Contraction'. Synthese 91, 239-245.
14. Hansson, S. O.: 1992b, 'Reversing the Levi Identity'. Journal of Philosophical Logic 22, 637-639.
15. Hansson, S. O.: 1994, 'Kernel Contraction'. Journal of Symbolic Logic 59, 845-859.
16. Hansson, S. O.: 1997a, 'Semi-revision'. J. of Applied Non-Classical Logic 7(1-2), 151-175.
17. Hansson, S. O. (ed.): 1997b, 'Theoria - special issue on non-prioritized belief revision', Vol. 63.
18. Hansson, S. O.: 1999a, 'A Survey of Non-Prioritized Belief Revision'. Erkenntnis 50(2/3), 413-427.
19. Hansson, S. O.: 1999b, A Textbook of Belief Dynamics. Kluwer Academic Press.
20. Hansson, S. O., E. Fermé, J. Cantwell, and M. Falappa: 2001, 'Credibilit-Limited Revision'. Journal of Symbolic Logic (to appear).
21. Jaśkowski, S.: 1969, 'Propositional Calculus for Contradictory Deductive Systems'. Studia Logica 24, 143-157.
22. Lang, J., and P. Marquis: 1998, 'Complexity results for independence and definability in propositional logic'. In: A. G. Cohn, L. Schubert, and S. Shapiro (eds.): Proceedings of KR'98. pp. 356-367.
23. Lewis, D.: 1982, 'Logic for Equivocators'. Noûs 16, 431-441.
24. Lindström, S.: 1991, 'A Semantic Approach to Nonmonotonic Reasoning: Inference Operations and Choice'. (Unpublished Manuscript).
25. Lugardon, V.: 1996, 'Sur le Fondaments de la Notion de Dépendance et de son Application a la Theorie de l'Action'. Ph.D. thesis, Université Paul Sabatier de Toulouse.
26. Makinson, D.: 1989, 'General Theory of Cumulative Inference'. In: M. Reinfrank, J. de Kleer, M. L. Ginsberg, and E. Sandewall (eds.): Proceedings of the Second International Workshop on Non-Monotonic Reasoning. Springer-Verlag.
27. Makinson, D.: 1997, 'Screened Revision'. Theoria 63, 14-23.
28. Nebel, B.: 1992, 'Syntax Based Approaches to Belief Revision'. In: P. Gärdenfors (ed.): Belief Revision. Cambridge University Press.
29. Nebel, B.: 1996, 'How Hard is it to Revise a Belief Base?'. Technical Report Report 83, Albert-Ludwigs-Universität Freiburg - Institut für Informatik.
30. Olsson, E. J.: 1997a, 'Coherence Studies in Epistemology and Belief Revision'. Ph.D. thesis, Department of Philosophy, Uppsala University.
31. Olsson, E. J.: 1997b, 'Coherence and the Modularity of Mind'. Australasian Journal of Philosophy.
32. Parikh, R.: 1999, 'Beliefs, belief revision, and splitting languages'. In: L. Moss, J. Ginzburg, and M. de Rijke (eds.): Logic, Language, and Computation, Volume 2, CSLI Lecture Notes No. 96. CSLI Publications, pp. 266-268.
33. Priest, G., R. Routley, and J. Norman (eds.): 1989, Paraconsistent logic: essays on the inconsistent. Philosophia.
34. Restall, G., and J. Slaney: 1995, 'Realistic Belief Revision'. Technical Report TR-ARP-2-95, Automatic Reasoning Project, Australian National University.
35. Smiley, T. J.: 1959, 'Entailment and Deducibility'. Proceedings of the Aristotelian Society pp. 233-254.
36. Tennant, N.: 1984, 'Perfect Validity, Entailment and Paraconsistency'. Studia Logica 43, 181-200.
37. Wassermann, R.: 2001, 'On Structured Belief Bases'. In: H. Rott and M.-A. Williams (eds.): Frontiers in Belief Revision. Kluwer.
38. Winslett, M.: 1990, Updating Logic Databases, No. 9 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.