Skip to main content
Log in

Selective Revision

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We introduce a constructive model of selective belief revision in which it is possible to accept only a part of the input information. A selective revision operator ο is defined by the equality K ο α = K * f(α), where * is an AGM revision operator and f a function, typically with the property ⊢ α → f(α). Axiomatic characterizations are provided for three variants of selective revision.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  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.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  4. Cantwell, J., ‘On the logic of small change in hypertheories’ Theoria 63 (1997), 54–;89.

    Article  Google Scholar 

  5. GÄrdenfors, P., Knowledge in Flux: Modeling the Dynamics of Epistemic States, The MIT Press, Cambridge, 1988.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  11. Olsson, E., Coherence, PhD thesis, Uppsala University, 1997.

  12. van Benthem, J., The Logic of Time, Second Edition, Kluwer Academic Publisher, 1991.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Fermé, E.L., Hansson, S.O. Selective Revision. Studia Logica 63, 331–342 (1999). https://doi.org/10.1023/A:1005294718935

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005294718935

Navigation