Generalized Iterated Belief Change in Dynamic Epistemic Logic

Souza, Marlo; Moreira, Álvaro F.; Vieira, Renata

doi:10.1109/bracis.2019.00126

Cited by 2 publications

(1 citation statement)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This work is an extended version of the work presented at the 8th Brazilian Conference on Intelligent Systems -BRACIS 2019 [25] and includes several developments that resulted from questions left open in our original work, as well as those from discussions during the event. As the main new developments not present in the BRACIS paper we list:…”

Section: Introductionmentioning

confidence: 99%

Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization

Souza,

Moreira,

Vieira

2021

Preprint

Self Cite

View full text Add to dashboard Cite

AGM's belief revision is one of the main paradigms in the study of belief change operations. Recently, several logics for belief and information change have been proposed in the literature and used to encode belief change operations in rich and expressive semantic frameworks. While the connections of AGM-like operations and their encoding in dynamic doxastic logics have been studied before by the work of Segerberg, most works on the area of Dynamic Epistemic Logics (DEL) have not, to our knowledge, attempted to use those logics as tools to investigate mathematical properties of belief change operators. This work investigates how Dynamic Preference Logic, a logic in the DEL family, can be used to study properties of dynamic belief change operators, focusing on well-known postulates of iterated belief change.

show abstract

Section: Introductionmentioning

confidence: 99%