Skip to main content
SpringerLink
Log in

Finite Contractions on Infinite Belief Sets

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Contractions on belief sets that have no finite representation cannot be finite in the sense that only a finite number of sentences is removed. However, such contractions can be delimited so that the actual change takes place in a logically isolated, finite-based part of the belief set. A construction that answers to this principle is introduced, and is axiomatically characterized. It turns out to coincide with specified meet contraction.

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

Access this article

Log in via an institution

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 Carlos, Peter Gärdenfors, David Makinson: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic 50, 510–530 (1985)

    Article  Google Scholar 

  2. Alchourrón Carlos, David Makinson: On the logic of theory change: Contraction functions and their associated revision functions. Theoria 48, 14–37 (1982)

    Article  Google Scholar 

  3. Chopra Samir, Rohit Parikh: Relevance sensitive belief structures. Annals of Mathematics and Artificial Intelligence 28, 259–285 (2000)

    Article  Google Scholar 

  4. Hansson, Sven Ove, A Textbook of Belief Dynamics. Theory Change and Database Updating. Kluwer, 1999.

  5. Hansson Sven Ove: Contraction Based on Sentential Selection. Journal of Logic and Computation 17, 479–498 (2007)

    Article  Google Scholar 

  6. Hansson Sven Ove: Specified Meet Contraction. Erkenntnis 69, 31–54 (2008)

    Article  Google Scholar 

  7. Hansson Sven Ove: Global and Iterated Contraction and Revision: An Exploration of Uniform and Semi-Uniform Approaches. Journal of Philosophical Logic 41, 143–172 (2012)

    Article  Google Scholar 

  8. Hansson Sven Ove, Renata Wassermann: Local Change. Studia Logica 70, 49–76 (2002)

    Article  Google Scholar 

  9. Kourousias George, David Makinson: Parallel interpolation, splitting, and relevance in belief change. Journal of Symbolic Logic 72, 994–1002 (2007)

    Article  Google Scholar 

  10. Parikh, Rohit, Beliefs, belief revision, and splitting languages, in L. Moss, J. Ginzburg, and M. de Rijke (eds.), Logic, language, and computation, vol. 2. Stanford, California: CSLI Publications, 1999, pp. 266–278.

Download references

Author information

Authors and Affiliations

  1. Royal Institute of Technology, Stockholm, Sweden

    Sven Ove Hansson

Authors
  1. Sven Ove Hansson
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sven Ove Hansson.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hansson, S.O. Finite Contractions on Infinite Belief Sets. Stud Logica 100, 907–920 (2012). https://doi.org/10.1007/s11225-012-9440-9

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-012-9440-9

Keywords

Search

Navigation