Probabilistic Epistemic Updates on Algebras-Reference-Cited by-同舟云学术

Probabilistic Epistemic Updates on Algebras

Published:2019-10-31 Issue:4 Volume:20 Page:1-75
ISSN:1529-3785
Container-title:ACM Transactions on Computational Logic
language:en
Short-container-title:ACM Trans. Comput. Logic

Author:

Conradie Willem¹,Frittella Sabine²,Palmigiano Alessandra³,Tzimoulis Apostolos⁴^ORCID,Wijnberg Nachoem⁵

Affiliation:

1. School of Mathematics, University of the Witwatersrand, South Johannesburg, South Africa

2. INSA Centre Val de Loire, Univ. Orléans, LIFO EA 4022, Bourges, France

3. Faculty of Technology, Policy and Management, Delft University of Technology, the Netherlands and Department of Pure and Applied Mathematics, University of Johannesburg, South Africa

4. School of Business and Economics, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands

5. Amsterdam Business School, University of Amsterdam, the Netherlands, College of Business and Economics, University of Johannesburg, Johannesburg, South Africa

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.

Funder

NWO

Publisher

Association for Computing Machinery (ACM)

Subject

Computational Mathematics,Logic,General Computer Science,Theoretical Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/3341725

Reference43 articles.

1. A. Achimescu A. Baltag and J. Sack. 2016. The probabilistic logic of communication and change. J. Log. Comput. (2016). A. Achimescu A. Baltag and J. Sack. 2016. The probabilistic logic of communication and change. J. Log. Comput. (2016).

2. De Finetti’s No-Dutch-Book Criterion for Gödel logic

3. INTUITIONISTIC EPISTEMIC LOGIC

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Rough concepts;Information Sciences;2021-06

2. Probabilistic Epistemic Updates on Algebras;ACM Transactions on Computational Logic;2019-10-31