Introspective forgetting
From MaRDI portal
Publication:1036061
DOI10.1007/s11229-009-9554-4zbMath1180.03018OpenAlexW4206497302MaRDI QIDQ1036061
Jérôme Lang, Andreas Herzig, Pierre Marquis, Hans P. van Ditmarsch
Publication date: 4 November 2009
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://basepub.dauphine.fr/handle/123456789/12688
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (13)
Semantic forgetting in expressive description logics ⋮ The dynamics of awareness ⋮ Raising awareness without disclosing truth ⋮ Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions ⋮ A lightweight epistemic logic and its application to planning ⋮ Price of privacy ⋮ Dynamic epistemic logic for implicit and explicit beliefs ⋮ Semantics for knowledge and change of awareness ⋮ Rethinking epistemic logic with belief bases ⋮ Minimal Revision and Classical Kripke Models ⋮ Forgetting in multi-agent modal logics ⋮ Knowledge forgetting: properties and applications ⋮ Public announcements, public lies and recoveries
Cites Work
- Prolegomena to dynamic logic for belief revision
- Logics of communication and change
- Belief, awareness, and limited reasoning
- Knowledge updates: Semantics and complexity issues
- Some comments on history based structures
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- From DEL to EDL: Exploring the Power of Converse Events
- Simulation and Information: Quantifying over Epistemic Events
- μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★
- On the logic of theory change: Partial meet contraction and revision functions
- Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Introspective forgetting
