Selective revision

Studia Logica

Volumn 63, Issue 3, 1999, Pages 331-342

  Fermé, Eduardo L ^a   Ove Sven, Hansson ^b  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b STOCKHOLM UNIVERSITY   (Sweden)

Author keywords

Belief change; Belief revision; Choice function; Non prioritized revision; Success postulate

Indexed keywords

EID: 53149133925     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1005294718935     Document Type: Article

References (12)

1. ALCHOURRÓN, C., P. GÄRDENFORS, and D. MAKINSON, 'On the logic of theory change: Partial meet contraction and revision functions', Journal of Symbolic Logic 50 (1985), 510-530.
2. ALCHOURRÓN, C., and D. MAKINSON, 'Hierarchies of regulations and their logic', in R. Hilpinen (ed.), New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics, pages 125-148, 1981.
3. ALCHOURRÓN, C., and D. MAKINSON, 'On the logic of theory change: Contraction functions and their associated revision functions', Theoria 48 (1982), 14-37.
4. CANTWELL, J., 'On the logic of small change in hypertheories' Theoria 63 (1997), 54-89.
5. GÄRDENFORS, P., Knowledge in Flux: Modeling the Dynamics of Epistemic States, The MIT Press, Cambridge, 1988.
6. HANSSON, S. O., Belief Base Dynamics, PhD thesis, Uppsala University, 1991.
7. HANSSON, S. O., 'Semi-revision', Journal of Applied Non-Classical Logic 7 (1-2) (1997), 151-175.
8. HANSSON, S. O., A Textbook of Belief Dynamics. Theory Change and Database Updating. (Vol. 11 in the Applied Logic Series), Kluwer Academic Publishers, Dordrecht, 1999.
9. KATSUNO, H., and A. MENDELZON, 'On the difference between updating a knowledge base and revising it', in P. Gärdenfors (ed.), Belief Revision, number 29 in Cambridge Tracts in Theoretical Computer Science, pages 183-203. Cambridge University Press, 1992.
10. MAKINSON, D., 'Screened revision', Theoria 63 (1997), 54-89.
11. OLSSON, E., Coherence, PhD thesis, Uppsala University, 1997.
12. VAN BENTHEM, J., The Logic of Time, Second Edition, Kluwer Academic Publisher, 1991.