Show simple item record

hal.structure.identifierLaboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
dc.contributor.authorLang, Jérôme
dc.date.accessioned2017-03-21T11:31:12Z
dc.date.available2017-03-21T11:31:12Z
dc.date.issued2014
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/16419
dc.language.isoenen
dc.subjectLogicen
dc.subjectLogics and Meanings of Programsen
dc.subjectPhilosophy of Minden
dc.subject.ddc511en
dc.titleActions, belief update, and DDLen
dc.typeChapitre d'ouvrage
dc.description.abstractenTwo prominent topics in Krister Segerberg’s works are, on the one hand, actions, and on the other hand, belief change. Both topics are connected in multiple ways; one of these connections is via KGM belief update, since, as we argue, belief update is a specific case of feedback-free action progression. We discuss the links between update and action, and, starting from Segerberg’s works, discuss further other possible interpretations of belief update, its differences with AGM belief revision, and why it is interesting to develop further KGM-based Dynamic Doxastic Logic.en
dc.identifier.citationpages229-251en
dc.relation.ispartofseriestitleOutstanding Contributions to Logicen
dc.relation.ispartoftitleKrister Segerberg on Logic of Actionsen
dc.relation.ispartofeditorTrypuz, Robert
dc.relation.ispartofpublnameSpringer Netherlandsen
dc.relation.ispartofpublcityHoutenen
dc.relation.ispartofdate2014
dc.relation.ispartofpages335en
dc.relation.ispartofurl10.1007/978-94-007-7046-1en
dc.subject.ddclabelPrincipes généraux des mathématiquesen
dc.relation.ispartofisbn978-94-007-7045-4en
dc.relation.forthcomingnonen
dc.identifier.doi10.1007/978-94-007-7046-1_11en
dc.description.ssrncandidatenonen
dc.description.halcandidateouien
dc.description.readershiprechercheen
dc.description.audienceInternationalen
dc.date.updated2017-03-21T11:18:46Z
hal.identifierhal-01493311*
hal.version1*
hal.author.functionaut


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record