Probabilistic Epistemic Updates on Algebras

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.

[1]  Willem Conradie,et al.  Algorithmic correspondence and canonicity for distributive modal logic , 2012, Ann. Pure Appl. Log..

[2]  Alessandra Palmigiano,et al.  Unified Correspondence as a Proof-Theoretic Tool , 2016, J. Log. Comput..

[3]  Willem Conradie,et al.  Sahlqvist via Translation , 2016, Log. Methods Comput. Sci..

[4]  Tommaso Flaminio,et al.  States of finite GBL-algebras with monoidal sum , 2017, Fuzzy Sets Syst..

[5]  Barteld P. Kooi,et al.  Probabilistic Dynamic Epistemic Logic , 2003, J. Log. Lang. Inf..

[6]  Alessandra Palmigiano,et al.  Multi-type display calculus for dynamic epistemic logic , 2016, J. Log. Comput..

[7]  Alessandra Palmigiano,et al.  Sahlqvist theory for impossible worlds , 2016, J. Log. Comput..

[8]  Joshua Sack,et al.  The probabilistic logic of communication and change , 2019, J. Log. Comput..

[9]  Alessandra Palmigiano,et al.  Lattice Logic Properly Displayed , 2017, WoLLIC.

[10]  Sergei N. Artëmov,et al.  TR-2014010: Intuitionistic Epistemic Logic , 2014 .

[11]  Willem Conradie,et al.  Canonicity results for mu-calculi: an algorithmic approach , 2017, J. Log. Comput..

[12]  Alessandra Palmigiano,et al.  Jónsson-style canonicity for ALBA-inequalities , 2017, J. Log. Comput..

[13]  Aleks Kissinger,et al.  A categorical semantics for causal structure , 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

[14]  Brunella Gerla,et al.  De Finetti’s No-Dutch-Book Criterion for Gödel logic , 2008, Stud Logica.

[15]  Willem Conradie,et al.  Probabilistic Epistemic Updates on Algebras , 2015, LORI.

[16]  Gisèle Fischer Servi,et al.  The finite model property for MIPQ and some consequences , 1978, Notre Dame J. Formal Log..

[17]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[18]  Alessandra Palmigiano,et al.  A proof-theoretic semantic analysis of dynamic epistemic logic , 2016, J. Log. Comput..

[19]  Yanjing Wang,et al.  On axiomatizations of public announcement logic , 2013, Synthese.

[20]  Ronald Fagin,et al.  Reasoning about knowledge and probability , 1988, JACM.

[21]  Guram Bezhanishvili,et al.  Varieties of Monadic Heyting Algebras. Part I , 1998, Stud Logica.

[22]  Alessandra Palmigiano,et al.  Epistemic Updates on Algebras , 2013, Log. Methods Comput. Sci..

[23]  Willem Conradie,et al.  Algebraic modal correspondence: Sahlqvist and beyond , 2016, J. Log. Algebraic Methods Program..

[24]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

[25]  Guram Bezhanishvili,et al.  Varieties of Monadic Heyting Algebras Part II: Duality Theory , 1999, Stud Logica.

[26]  Alessandra Palmigiano,et al.  Multi-type Sequent Calculi , 2016 .

[27]  Sabine Frittella,et al.  Algebraic semantics of refinement modal logic , 2016, Advances in Modal Logic.

[28]  Umberto Rivieccio,et al.  Łukasiewicz Public Announcement Logic , 2016, IPMU.

[29]  Alessandra Palmigiano,et al.  Multi-type display calculus for propositional dynamic logic , 2016, J. Log. Comput..

[30]  Revantha Ramanayake,et al.  Power and Limits of Structural Display Rules , 2016, ACM Trans. Comput. Log..

[31]  Sergei N. Artëmov,et al.  INTUITIONISTIC EPISTEMIC LOGIC , 2014, The Review of Symbolic Logic.

[32]  Guram Bezhanishvili.  Varieties of Monadic Heyting Algebras. Part III , 2000, Stud Logica.

[33]  Johan van Benthem,et al.  Dynamic Update with Probabilities , 2009, Stud Logica.

[34]  Fan Yang,et al.  A Multi-type Calculus for Inquisitive Logic , 2016, WoLLIC.

[35]  Alessandra Palmigiano,et al.  THE LOGIC OF RESOURCES AND CAPABILITIES , 2016, The Review of Symbolic Logic.

[36]  Wojciech A. Trybulec.  Partially Ordered Sets , 1990 .

[37]  Willem Conradie,et al.  Algorithmic correspondence and canonicity for non-distributive logics , 2016, Ann. Pure Appl. Log..

[38]  Alessandra Palmigiano,et al.  Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic , 2011, Ann. Pure Appl. Log..

[39]  Lawrence S. Moss,et al.  Logics for Epistemic Programs , 2004, Synthese.

[40]  Alexandru Baltag,et al.  Logical Models of Informational Cascades , 2013 .

[41]  Umberto Rivieccio.  Bilattice Public Announcement Logic , 2014, Advances in Modal Logic.

[42]  Gisèle Fischer-Servi.  The finite model property for ${\bf MIPQ}$ and some consequences. , 1978 .

[43]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[44]  Alessandra Palmigiano,et al.  Linear Logic Properly Displayed , 2016, ACM Trans. Comput. Log..

[45]  Willem Conradie,et al.  Algorithmic correspondence for intuitionistic modal mu-calculus , 2015, Theor. Comput. Sci..

[46]  Alessandra Palmigiano,et al.  Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic , 2011, LORI.

[47]  Johan van Benthem,et al.  Logical Dynamics of Information and Interaction: Contents , 2014 .

[48]  Brian Weatherson.  From Classical to Intuitionistic Probability , 2003, Notre Dame J. Formal Log..

[49]  Jan van Eijck,et al.  Epistemic Probability Logic Simplified , 2014, Advances in Modal Logic.

[50]  Umberto Rivieccio,et al.  Epistemic Updates on Bilattices , 2015, LORI.

[51]  Fei Liang,et al.  Bilattice logic properly displayed , 2017, Fuzzy Sets Syst..

[52]  Alessandra Palmigiano,et al.  Dynamic Epistemic Logic Displayed , 2013, LORI.

[53]  Jim Hefferon,et al.  Linear Algebra , 2012 .