Introspective Forgetting

  • Hans van Ditmarsch
  • Andreas Herzig
  • Jérôme Lang
  • Pierre Marquis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5360)

Abstract

We model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others’ or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-forgetting as abstraction from information, wherein agents become unaware of certain variables: by employing elementary results for bisimulation, it follows that beliefs not involving the forgotten atom(s) remain true.

Keywords

modal logic forgetting abstraction action logic belief change 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Hans van Ditmarsch
    • 1
    • 2
  • Andreas Herzig
    • 2
  • Jérôme Lang
    • 2
  • Pierre Marquis
    • 3
  1. 1.Computer ScienceUniversity of OtagoNew Zealand
  2. 2.IRITUniversité Paul SabatierFrance
  3. 3.CRILUniversité d’ArtoisFrance

Personalised recommendations