Journal of Philosophical Logic

, Volume 30, Issue 6, pp 525–570

Infinitary Belief Revision

  • Dongmo Zhang
  • Norman Foo
Article

DOI: 10.1023/A:1013356315540

Cite this article as:
Zhang, D. & Foo, N. Journal of Philosophical Logic (2001) 30: 525. doi:10.1023/A:1013356315540

Abstract

This paper extends the AGM theory of belief revision to accommodate infinitary belief change. We generalize both axiomatization and modeling of the AGM theory. We show that most properties of the AGM belief change operations are preserved by the generalized operations whereas the infinitary belief change operations have their special properties. We prove that the extended axiomatic system for the generalized belief change operators with a Limit Postulate properly specifies infinite belief change. This framework provides a basis for first-order belief revision and the theory of revising a belief state by a belief state.

belief revisionbelief contractiontheory changemultiple belief changefirst-order belief change

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • Dongmo Zhang
    • 1
  • Norman Foo
    • 1
  1. 1.University of New South WalesAustralia