Dynamic Epistemic Logic

Authors:

ISBN: 978-1-4020-5838-7 (Print) 978-1-4020-5839-4 (Online)

Table of contents (8 chapters)

  1. Front Matter

    Pages i-xi

  2. No Access

    Book Chapter

    Pages 1-10

    Introduction

  3. No Access

    Book Chapter

    Pages 11-42

    Epistemic Logic

  4. No Access

    Book Chapter

    Pages 43-66

    Belief Revision

  5. No Access

    Book Chapter

    Pages 67-108

    Public Announcements

  6. No Access

    Book Chapter

    Pages 109-139

    Epistemic Actions

  7. No Access

    Book Chapter

    Pages 141-176

    Action Models

  8. No Access

    Book Chapter

    Pages 177-209

    Completeness

  9. No Access

    Book Chapter

    Pages 211-242

    Expressivity

  10. Back Matter

    Pages 243-296