Linguistique de l’écrit

Revue internationale en libre accès

Revue | Volume | Article

236315

Introspective forgetting

Hans van DitmarschAndreas Herzig

pp. 405-423

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.

Détails de la publication

Publié dans:

Ågotnes Thomas, van Benthem Johan, Pacuit Eric (2009) Knowledge, rationality & action. Synthese 169 (2).

Pages: 405-423

DOI: 10.1007/s11229-009-9554-4

Citation complète:

van Ditmarsch Hans, Herzig Andreas, 2009, Introspective forgetting. Synthese 169 (2), Knowledge, rationality & action, 405-423. https://doi.org/10.1007/s11229-009-9554-4.