IDEAS home Printed from https://ideas.repec.org/p/cda/wpaper/254.html
   My bibliography  Save this paper

Axiomatization of the AGM theory of belief revision in a temporal logic

Author

Listed:
  • Giacomo Bonanno

    (Department of Economics, University of California Davis)

Abstract

It is natural to think of belief revision as the interaction of beliefand information over time. Thus branching-time temporal logic seems a naturalsetting for a theory of belief revision. We propose two extensions of amodal logic that, besides the ""next-time"" temporal operator, contains abelief operator and an information operator. The first logic is shown toprovide an axiomatization of the first six postulates of the AGM theoryof belief revision, while the second, stronger, logic provides an axiomatizationof the full set of AGM postulates.

Suggested Citation

  • Giacomo Bonanno, 2006. "Axiomatization of the AGM theory of belief revision in a temporal logic," Working Papers 254, University of California, Davis, Department of Economics.
    • Handle: RePEc:cda:wpaper:254
    as

    Download full text from publisher

    File URL: https://repec.dss.ucdavis.edu/files/gho3uZ5PjRoUziC1UdCGzTQD/06-17.pdf
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Giacomo Bonanno, 2004. "A simple modal logic for belief revision," Working Papers 164, University of California, Davis, Department of Economics.
    2. Giacomo Bonanno, 2004. "A simple modal logic for belief revision," Working Papers 45, University of California, Davis, Department of Economics.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Antoine Billot & Jean-Christophe Vergnaud & Bernard Walliser, 2008. "Multiplayer belief revision," Post-Print halshs-00344461, HAL.
    2. Giacomo Bonanno, 2007. "Four Logics for Minimal Belief Revision," Working Papers 76, University of California, Davis, Department of Economics.
    3. Giacomo Bonanno, 2007. "Four Logics for Minimal Belief Revision," Working Papers 209, University of California, Davis, Department of Economics.
    4. Billot, Antoine & Vergnaud, Jean-Christophe & Walliser, Bernard, 2015. "Multiagent belief revision," Journal of Mathematical Economics, Elsevier, vol. 59(C), pages 47-57.
    5. Giacomo Bonanno, 2005. "Temporal interaction of information and belief," Working Papers 541, University of California, Davis, Department of Economics.
    6. Giacomo Bonanno, 2005. "Temporal interaction of information and belief," Working Papers 141, University of California, Davis, Department of Economics.

    More about this item

    Keywords

    Belief revision; information; temporal logic; AGM theory;
    All these keywords.

    JEL classification:

    • C63 - Mathematical and Quantitative Methods - - Mathematical Methods; Programming Models; Mathematical and Simulation Modeling - - - Computational Techniques
    • C70 - Mathematical and Quantitative Methods - - Game Theory and Bargaining Theory - - - General

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:cda:wpaper:254. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Letters and Science IT Services Unit (email available below). General contact details of provider: https://edirc.repec.org/data/educdus.html .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.