Introspective Forgetting - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Synthese Année : 2009

Introspective Forgetting

Résumé

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.

Dates et versions

hal-00868609 , version 1 (01-10-2013)

Identifiants

Citer

Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis. Introspective Forgetting. Synthese, 2009, 169, pp.405-423. ⟨10.1007/s11229-009-9554-4⟩. ⟨hal-00868609⟩
172 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More