• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Help
  • Login
  • Language 
    • Français
    • English
View Item 
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesTypeThis CollectionBy Issue DateAuthorsTitlesType

My Account

LoginRegister

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors
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
10.1007/978-94-007-7046-1_11
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

Related items

Showing items related by title and author.

  • Thumbnail
    Updates, actions and planning 
    Herzig, Andreas; Lang, Jérôme; Marquis, Pierre; Polacsek, T. (2001) Communication / Conférence
  • Thumbnail
    Belief Update Revisited 
    Lang, Jérôme (2007) Communication / Conférence
  • Thumbnail
    Belief extrapolation (or how to reason about observations and unpredicted change) 
    Dupin de Saint-Cyr, Florence; Lang, Jérôme (2011) Article accepté pour publication ou publié
  • Thumbnail
    Propositional Update Operators Based on Formula/Literal Dependence 
    Herzig, Andreas; Lang, Jérôme; Marquis, Pierre (2013) Article accepté pour publication ou publié
  • Thumbnail
    Reasoning About Action and Change 
    Dupin De Saint-Cyr, Florence; Herzig, Andreas; Lang, Jérôme; Marquis, Pierre (2020) Chapitre d'ouvrage
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Phone: 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo