A Combined System for Update Logic and Belief Revision

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3371)


In this paper we propose a logical system combining the update logic of A. Baltag, L. Moss and S. Solecki (to which we will refer to by the generic term BMS, [BMS04]) with the belief revision theory as conceived by C. Alchouròn, P. Gärdenfors and D. Mackinson (that we will call the AGM theory, [GardRott95]) viewed from the point of view of W. Spohn ([Spohn90,Spohn88]). We also give a proof system and a comparison with the AGM postulates.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BMS04]
    Baltag, A., Moss, L.S., Solecki, S.: Logic for epistemic program. Synthese 139, 165–224 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  2. [FHMV95]
    Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge. MIT Press, Cambridge (1995)zbMATHGoogle Scholar
  3. [GardRott95]
    Gardenfors, P., Rott, H.: Belief Revision. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4. Oxford University Press, Oxford (1995)Google Scholar
  4. [Spohn90]
    Spohn, W.: A general non-probability theory of inductive reasoning. In: Schachter, R.D., Levitt, T.S., Kanal, L.N., Lemmer, J.F. (eds.) Uncertainty in artificial intelligence, vol. 4, pp. 149–151. Norht-Holland, Amsterdam (1990)Google Scholar
  5. [Spohn88]
    Spohn, W.: Ordinal conditional functions: A dynamic theory of epistemic states. In: Harper, W.L., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, vol. 2, pp. 105–134. Reidel, Dordrecht (1988)Google Scholar
  6. [vDL03]
    van Ditmarsch, H.P., Labuschagne, W.A.: A multimodal language for revising defeasible beliefs. In: Álvarez, E., Bosch, R., Villamil, L. (eds.) Proceedings of the 12th International Congress of Logic, Methodology, and Philosophy of Science (LMPS), pp. 140–141. Oviedo University Press (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of OtagoDunedinNew Zealand

Personalised recommendations