Skip to main content
SpringerLink
Log in

Possible Worlds Semantics for Partial Meet Multiple Contraction

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

In the logic of theory change, the standard model is AGM, proposed by Alchourrón et al. (J Symb Log 50:510–530, 1985). This paper focuses on the extension of AGM that accounts for contractions of a theory by a set of sentences instead of only by a single sentence. Hansson (Theoria 55:114–132, 1989), Fuhrmann and Hansson (J Logic Lang Inf 3:39–74, 1994) generalized Partial Meet Contraction to the case of contractions by (possibly non-singleton) sets of sentences. In this paper we present the possible worlds semantics for partial meet multiple contractions.

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.

Similar content being viewed by others

References

  1. Alchourrón, C., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50, 510–530.

    Article  Google Scholar 

  2. Alchourrón, C., & Makinson, D. (1981). Hierarchies of regulations and their logic. In R. Hilpinen (Ed.), New studies in deontic logic: Norms, actions, and the foundations of ethics (pp. 125–148). D. Reidel Publishing Company.

  3. Alchourrón, C., & Makinson, D. (1982). On the logic of theory change: Contraction functions and their associated revision functions. Theoria, 48, 14–37.

    Article  Google Scholar 

  4. Chellas, B. F. (1980). Modal logic: An introduction. Cambridge University Press.

  5. Fermé, E. & Reis, M. D. L. System of spheres-based multiple contractions. Journal of Philosophical Logic (this issue).

  6. Fuhrmann, A. (1988). Relevant logics, modal logics and theory change. PhD thesis, Australian National University, Camberra.

  7. Fuhrmann, A. (1991). Theory contraction through base contraction. Journal of Philosophical Logic, 20, 175–203.

    Article  Google Scholar 

  8. Fuhrmann, A., & Hansson, S. O. (1994). A survey of multiple contraction. Journal of Logic, Language and Information, 3, 39–74.

    Article  Google Scholar 

  9. Gärdenfors, P. (1982). Rules for rational changes of belief. In T. Pauli (Ed.), Philosophical essays dedicated to Lennart Ȧqvist on his fiftieth birthday (No. 34, pp. 88–101). Philosophical Studies.

  10. Gärdenfors, P. (1988). Knowledge in flux: Modeling the dynamics of epistemic states. Cambridge: The MIT Press.

    Google Scholar 

  11. Gärdenfors, P., & Makinson, D. (1988). Revisions of knowledge systems using epistemic entrenchment. In M. Y. Vardi (Ed.), Proceedings of the second conference on theoretical aspects of reasoning about knowledge (pp. 83–95). Los Altos: Morgan Kaufmann.

    Google Scholar 

  12. Grove, A. (1988). Two modellings for theory change. Journal of Philosophical Logic, 17, 157–170.

    Article  Google Scholar 

  13. Hansson, S. O. (1989). New operators for theory change. Theoria, 55, 114–132.

    Article  Google Scholar 

  14. Hansson, S. O. (1991). Belief base dynamics. PhD thesis, Uppsala University.

  15. Hansson, S. O. (1999). A Textbook of belief dynamics. Theory change and database updating. Applied logic series (Vol. 11). Dordrecht: Kluwer Academic Publishers.

    Google Scholar 

  16. Niederée, R. (1991). Multiple contraction: A further case against Gärdenfors’ principle of recovery. In A. Fuhrmann & M. Morreau (Eds.), The Logic of theory change (pp. 322–334). Berlin: Springer-Verlag.

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centro de Ciências Exactas e da Engenharia and Madeira Interactive Technologies Institute, Universidade da Madeira, Campus Universitário da Penteada, 9020-105, Funchal, Portugal

    Maurício D. L. Reis

  2. Madeira Interactive Technologies Institute, Universidade da Madeira, Funchal, Portugal

    Eduardo Fermé

Authors
  1. Maurício D. L. Reis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eduardo Fermé
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Maurício D. L. Reis.

Additional information

Maurício D. L. Reis was supported by Fundação para a Ciência e a Tecnologia (FCT) through the grant SFRH/BD/30175/2006 financed by national funds from Ministério da Ciência, Tecnologia e Ensino Superior (MCTES) from Portugal.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Reis, M.D.L., Fermé, E. Possible Worlds Semantics for Partial Meet Multiple Contraction. J Philos Logic 41, 7–28 (2012). https://doi.org/10.1007/s10992-011-9198-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10992-011-9198-y

Keywords

Search

Navigation