Show simple item record

dc.contributor.authorvan Ditmarsch, Hans
HAL ID: 7172
dc.contributor.authorHerzig, Andreas
HAL ID: 181482
ORCID: 0000-0003-0833-2782
dc.contributor.authorLang, Jérôme
dc.contributor.authorMarquis, Pierre
dc.date.accessioned2014-02-18T16:20:36Z
dc.date.available2014-02-18T16:20:36Z
dc.date.issued2009
dc.identifier.issn0039-7857
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/12688
dc.language.isoenen
dc.subjectAction logic
dc.subjectModal logic
dc.subjectAbstraction
dc.subjectBelief change
dc.subjectForgetting
dc.subject.ddc003en
dc.titleIntrospective forgetting
dc.typeArticle accepté pour publication ou publié
dc.description.abstractenWe 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.
dc.relation.isversionofjnlnameSynthese
dc.relation.isversionofjnlvol169
dc.relation.isversionofjnlissue2
dc.relation.isversionofjnldate2009
dc.relation.isversionofjnlpages405-423
dc.relation.isversionofdoihttp://dx.doi.org/10.1007/s11229-009-9554-4
dc.relation.isversionofjnlpublisherD. Reidel
dc.subject.ddclabelRecherche opérationnelleen
dc.relation.forthcomingnonen
dc.relation.forthcomingprintnonen
dc.description.ssrncandidatenon
dc.description.halcandidateoui
dc.description.readershiprecherche
dc.description.audienceInternational
dc.relation.Isversionofjnlpeerreviewedoui
dc.date.updated2017-01-06T17:52:35Z


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record