Actions, belief update, and DDL
Lang, Jérôme (2014), Actions, belief update, and DDL, in Trypuz, Robert, Krister Segerberg on Logic of Actions, Springer Netherlands : Houten, p. 229-251. 10.1007/978-94-007-7046-1_11
Type
Chapitre d'ouvrageDate
2014Book title
Krister Segerberg on Logic of ActionsBook author
Trypuz, RobertPublisher
Springer Netherlands
Series title
Outstanding Contributions to LogicPublished in
Houten
ISBN
978-94-007-7045-4
Number of pages
335Pages
229-251
Publication identifier
Metadata
Show full item recordAuthor(s)
Lang, JérômeLaboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Abstract (EN)
Two 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.Subjects / Keywords
Logic; Logics and Meanings of Programs; Philosophy of MindRelated items
Showing items related by title and author.
-
Herzig, Andreas; Lang, Jérôme; Marquis, Pierre; Polacsek, T. (2001) Communication / Conférence
-
Lang, Jérôme (2007) Communication / Conférence
-
Dupin de Saint-Cyr, Florence; Lang, Jérôme (2011) Article accepté pour publication ou publié
-
Herzig, Andreas; Lang, Jérôme; Marquis, Pierre (2013) Article accepté pour publication ou publié
-
Dupin De Saint-Cyr, Florence; Herzig, Andreas; Lang, Jérôme; Marquis, Pierre (2020) Chapitre d'ouvrage