Skip to main content
SpringerLink
Log in

Multiple Kernel Contraction

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

This paper focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. We propose for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction, proposed by Hansson [Han94] to construct classical AGM contractions and belief base contractions. This construction works out the unsolved problem pointed out by Hansson in [Han99, pp. 369].

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, C., P. GÄrdenfors, and D. Makinson, ‘On the logic of theory change: Partial meet functions for contraction and revision’, Journal of Symbolic Logic, 50:510–530, 1985.

    Article  Google Scholar 

  2. AlchourrÓn, C. and D. Makinson, ‘On the logic of theory change: Safe contraction’, Studia Logica, 44:405–422, 1985.

    Article  Google Scholar 

  3. Fuhrmann, A. and S. O. Hansson, ‘A survey of multiple contraction’, Journal of Logic, Language and Information, 3:39–74, 1994.

    Article  Google Scholar 

  4. Fuhrmann, A. Relevant Logics, Modal Logics and Theory Change, PhD thesis, Australian National University, Camberra, 1988.

    Google Scholar 

  5. GÄrdenfors, P. and D. Makinson, ‘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, Morgan Kaufmann, Los Altos, 1988.

    Google Scholar 

  6. Hansson, S. O., ‘In defense of base contraction’, Synthese, 91:239–245, 1992.

    Article  Google Scholar 

  7. Hansson, S. O., ‘Kernel contraction’, Journal of Symbolic Logic, 59:845–859, 1994.

    Article  Google Scholar 

  8. Hansson, S. O., ‘A survey of non-prioritized belief revision’, Erkenntnis, 1999.

  9. NiederÉe, R., ‘Multiple contraction: A further case against Gärdenfors' principle of recovery’, in Fuhrmann and Morreau (eds), The Logic of Theory Change, pp. 322–334, Springer-Verlag, Berlin, 1991.

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Matemàtica, Universidade da Madeira, Campus Universitário da Penteada 9000-390 Funchal, Madeira, Portugal

    Eduardo Fermé & Pablo Sanz

  2. Departamento de Computación, Universidad de Buenos Aires, Pabellón I. Ciudad Universitaria. (1429), Buenos Aires, Argentina

    Karina Saez

Authors
  1. Eduardo Fermé
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Karina Saez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Pablo Sanz
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Fermé, E., Saez, K. & Sanz, P. Multiple Kernel Contraction. Studia Logica 73, 183–195 (2003). https://doi.org/10.1023/A:1022927828817

Download citation

  • Issue Date:

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

Search

Navigation