Introspective forgetting

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

zbMATH Keywords

modal logicabstractionbelief changeforgettingdynamic epistemic logicaction logic

Mathematics Subject Classification ID

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