@inproceedings{539973debe054625a84571f42205041c,
title = "Probabilistic epistemic updates on algebras",
abstract = "The present paper 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.",
keywords = "Algebraic models, Duality, Intuitionistic modal logic, Intuitionistic probabilistic dynamic epistemic logic, Pointfree semantics",
author = "Willem Conradie and Sabine Frittella and Alessandra Palmigiano and Apostolos Tzimoulis",
year = "2015",
month = jan,
day = "1",
doi = "10.1007/978-3-662-48561-3_6",
language = "English",
isbn = "9783662485606",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "64--76",
editor = "Wen-Fang Wang and {van der Hoek}, Wiebe and Holliday, {Wesley H.}",
booktitle = "Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings",
address = "Germany",
note = "5th International Workshop on Logic, Rationality, and Interaction, LORI 2015 ; Conference date: 28-10-2015 Through 31-10-2015",
}