Introduces direct belief contraction on unconstrained Kripke models in DEL, shows it satisfies some but not all contraction properties, and gives sound complete axiomatizations for the logic and its extension to private announcements.
In: 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 3, IEEE, pp
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Belief Contraction in Dynamic Epistemic Logic
Introduces direct belief contraction on unconstrained Kripke models in DEL, shows it satisfies some but not all contraction properties, and gives sound complete axiomatizations for the logic and its extension to private announcements.