Introspective forgetting

Synthese 169 (2):405-423 (2009)

Authors
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
Categories (categorize this paper)
DOI 10.1007/s11229-009-9554-4
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,727
Through your library

References found in this work BETA

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Logics of Public Communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.

View all 20 references / Add more references

Citations of this work BETA

Dynamic Epistemic Logic for Implicit and Explicit Beliefs.Fernando R. Velázquez-Quesada - 2014 - Journal of Logic, Language and Information 23 (2):107-140.
Price of Privacy.Pavel Naumov & Jia Tao - 2017 - Journal of Applied Logic 20:32-48.

View all 6 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-05-02

Total views
114 ( #73,454 of 2,280,957 )

Recent downloads (6 months)
39 ( #23,392 of 2,280,957 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature