Communities of Dialogue Russian and Ukrainian Émigrés in Modernist Prague

Repository | Journal | Volume | Article

236315

Introspective forgetting

Hans van DitmarschAndreas Herzig

pp. 405-423

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.

Publication details

Published in:

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

Pages: 405-423

DOI: 10.1007/s11229-009-9554-4

Full citation:

van Ditmarsch Hans, Herzig Andreas (2009) „Introspective forgetting“. Synthese 169 (2), 405–423.