Access the full text.
Sign up today, get DeepDyve free for 14 days.
S. Frittella, G. Greco, A. Kurz, A. Palmigiano, V. Sikimić (2014)
Multi-type sequent calculiTrends in Logic XIII
Johan van Benthem, Jan van Eijck, Barteld P. Kooi (2006)
Logics of communication and changeInform. Comput., 204
Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo (1990)
A logic for reasoning about probabilitiesInform. Comput., 87
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra (2008)
De Finetti’s no-Dutch-book criterion for Gödel logicStudia Log., 90
Guram Bezhanishvili (1998)
Varieties of monadic Heyting algebrasPart I. Studia Log., 61
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis (2015)
Probabilistic epistemic updates on algebrasLogic
S. Lang (2013)
Linear AlgebraSpringer New York. Retrieved from: https://books.google.nl/books?id=_WsgBAAAQBAJ.
A. C. Achimescu (2014)
Games and Logics for Informational CascadesMaster’s thesis. University of Amsterdam.
Guram Bezhanishvili (1999)
Varieties of monadic Heyting algebras Part II: Duality theoryStudia Log., 62
Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao (2019)
Sahlqvist via translationLog. Meth. Comput. Sci., 15
Giuseppe Greco, Alessandra Palmigiano (2017)
Lattice logic properly displayedProceedings of the International Workshop on Logic
Alexander A. Kurz, Alessandra A. Palmigiano (2013)
Epistemic updates on algebrasLog. Meth. Comput. Sci., 9
Jan van Eijck, François Schwarzentruber (2014)
Epistemic probability logic simplifiedIn Proceedings of the 10th Conference on Advances in Modal Logic. 158--177. Retrieved from: http://www.aiml.net/volumes/volume10/Eijck-Schwarzentruber.pdf.
J. van Benthem, J. Gerbrandy, B. P. Kooi (2009)
Dynamic update with probabilitiesStudia Log., 93
Alexandru Baltag, Lawrence S. Moss (2004)
Logics for epistemic programsSynthese, 139
Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang (2016)
A multi-type calculus for inquisitive logicProceedings of the 23rd International Workshop on Logic
Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella (2016)
Algebraic semantic of refinement modal logicAdvances in Modal Logic
Giuseppe Greco, Alessandra Palmigiano
{nLinear logic properly displayed. Submitted. ArXiv preprint 1611.04181 ({n.d.}). https://arxiv.org/abs/1611.04181
M. Ma, A. Palmigiano, M. Sadrzadeh (2014)
Algebraic semantics and model completeness for intuitionistic public announcement logicAnn. Pure Appl. Log., 165
Marta Bílková, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg (2018)
The logic of resources and capabilitiesRev. Symb. Log., 11
Zeinab Bakhtiarinoodeh, Umberto Rivieccio (2015)
Epistemic updates on bilatticesLogic
Johan van Benthem (2011)
Logical Dynamics of Information and InteractionCambridge University Press.
Tommaso Flaminio, Brunella Gerla, Francesco Marigo (2017)
States of finite GBL-algebras with monoidal sumFuzzy Sets Syst, 311
B. A. Davey, H. A. Priestley (2002)
Lattices and OrderCambridge University Press.
Yanjing Wang, Qinxiang Cao (2013)
On axiomatizations of public announcement logicSynthese, 190
Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić (2016)
A proof-theoretic semantic analysis of dynamic epistemic logicJ. Log. Comput., 26
Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano (2014)
Multi-type display calculus for propositional dynamic logicJ. Log. Comput., 26
Sergei Artemov, Tudor Protopopescu (2016)
Intuitionistic epistemic logicRev. Symb. Log., 9
Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimic (2016)
Multi-type display calculus for dynamic epistemic logicJ. Log. Comput., 26
Leonardo Cabrer, Umberto Rivieccio, Ricardo Oscar Rodriguez (2016)
Łukasiewicz public announcement logicProceedings of the International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems. Springer
Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao (2016)
Unified correspondence as a proof-theoretic toolJ. Log. Comput., 28
A. Achimescu, A. Baltag, J. Sack (2016)
The probabilistic logic of communication and changeJ. Log. Comput. (2016).
Agata Ciabattoni, Revantha Ramanayake (2016)
Power and limits of structural display rulesACM Trans. Comput. Log., 17
Ronald Fagin, Joseph Y. Halpern (1994)
Reasoning about knowledge and probabilityJ. ACM, 41
Gisèle Fischer-Servi (1978)
The finite model property for MIPQ and some consequencesForm. Log., 19
Holbrook Mann MacNeille (1937)
Partially ordered setsTrans. Amer. Math. Soc., 42
B. Weatherson (2003)
From classical to intuitionistic probabilityNotre Dame J. Form. Log., 44
A. Baltag, Z. Christoff, J. U. Hansen, S. Smets (2013)
Logical models of informational cascadesLogic Across the University: Foundations and Applications (Studies in Logic)
G. Greco, A. Kurz, A. Palmigiano (2013)
Dynamic epistemic logic displayedProceedings of the 4th International Workshop on Logic
Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki (1999)
The Logic of Public Announcements, Common Knowledge and Private SuspiciousTechnical Report SEN-R9922. CWI
B. P. Kooi (2003)
Probabilistic dynamic epistemic logicJ. Log., 12
Umberto Rivieccio (2014)
Bilattice Public Announcement Logic, Proc AiML, Rajeev Goré, Barteld Kooi, and Agi Kurucz (EdsCollege Publications
W. Conradie, A. Palmigiano (2012)
Algorithmic correspondence and canonicity for distributive modal logicAnn. Pure Appl. Log., 163
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.
ACM Transactions on Computational Logic (TOCL) – Association for Computing Machinery
Published: Aug 21, 2019
Keywords: Intuitionistic probabilistic dynamic epistemic logic
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.