Thumbnail - Request a copy

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'ouvrage
Date
2014
Book title
Krister Segerberg on Logic of Actions
Book author
Trypuz, Robert
Publisher
Springer Netherlands
Series title
Outstanding Contributions to Logic
Published in
Houten
ISBN
978-94-007-7045-4
Number of pages
335
Pages
229-251
Publication identifier
Metadata
Show full item record
Author(s)
Lang, Jérôme
Laboratoire 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 Mind