Probabilistic epistemic updates on algebras

Willem Conradie, Sabine Frittella, Alessandra Palmigiano*, Apostolos Tzimoulis, Nachoem Wijnberg

*Corresponding author for this work

Research output: Contribution to JournalArticleAcademicpeer-review

270 Downloads (Pure)

Abstract

The present article contributes to the development of the mathematical theory of epistemic updates using the tools of duality theory. Here, we focus on Probabilistic Dynamic Epistemic Logic (PDEL). We dually characterize the product update construction of PDEL-models as a certain construction transforming the complex algebras associated with the given model into the complex algebra associated with the updated model. Thanks to this construction, an interpretation of the language of PDEL can be defined on algebraic models based on Heyting algebras. This justifies our proposal for the axiomatization of the intuitionistic counterpart of PDEL.

Original languageEnglish
Article number24
Pages (from-to)1-75
Number of pages75
JournalACM Transactions on Computational Logic
Volume20
Issue number4
DOIs
Publication statusPublished - Aug 2019

Fingerprint

Dive into the research topics of 'Probabilistic epistemic updates on algebras'. Together they form a unique fingerprint.

Cite this