Introspective forgetting

van Ditmarsch, Hans; Herzig, Andreas; Lang, Jérôme; Marquis, Pierre

van Ditmarsch, Hans; Herzig, Andreas; Lang, Jérôme; Marquis, Pierre (2009), Introspective forgetting, Synthese, 169, 2, p. 405-423. http://dx.doi.org/10.1007/s11229-009-9554-4

View/Open

fAucklandforget.pdf (146.0Kb)

Type

Article accepté pour publication ou publié

Date

2009

Journal name

Synthese

Volume

169

Number

Publisher

D. Reidel

Pages

405-423

Abstract (EN)

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.

Subjects / Keywords

Action logic; Modal logic; Abstraction; Belief change; Forgetting