Review of Symbolic Logic 12 (4):663-684 (2019)
Authors |
|
Abstract |
Graded epistemic logic is a logic for reasoning about uncertainties. Graded epistemic logic is interpreted on graded models. These models are generalizations of Kripke models. We obtain completeness of some graded epistemic logics. We further develop dynamic extensions of graded epistemic logics, along the framework of dynamic epistemic logic. We give an extension with public announcements, i.e., public events, and an extension with graded event models, a generalization also including nonpublic events. We present complete axiomatizations for both logics.
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1017/s1755020319000285 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van Der Hoek & Barteld Kooi - 2008 - Studia Logica 89 (3):441-445.
On Axiomatizations of Public Announcement Logic.Yanjing Wang & Qinxiang Cao - 2013 - Synthese 190 (S1).
Prolegomena to Dynamic Logic for Belief Revision.Hans P. Van Ditmarsch - 2005 - Synthese 147 (2):229-275.
View all 20 references / Add more references
Citations of this work BETA
Neighbourhood Semantics for Graded Modal Logic.Jinsheng Chen, Hans Van Ditmarsch, Giuseppe Greco & Apostolos Tzimoulis - 2021 - Bulletin of the Section of Logic 50 (3):373-395.
Similar books and articles
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Dynamic Epistemic Logic.Hans van Ditmarsch, and, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Probabilistic Dynamic Epistemic Logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Bridging Learning Theory and Dynamic Epistemic Logic.Nina Gierasimczuk - 2009 - Synthese 169 (2):371-384.
Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic.Wesley Holliday - 2018 - In Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. Springer Verlag.
Indicative Conditionals and Dynamic Epistemic Logic.Wesley H. Holliday & Thomas Icard - 2017 - Proceedings of the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Liverpool, UK, 24-26 July 2017.
Dynamic Epistemic Logic with Branching Temporal Structures.Tomohiro Hoshi & Audrey Yap - 2009 - Synthese 169 (2):259 - 281.
Analytics
Added to PP index
2019-07-13
Total views
24 ( #473,801 of 2,507,888 )
Recent downloads (6 months)
1 ( #416,715 of 2,507,888 )
2019-07-13
Total views
24 ( #473,801 of 2,507,888 )
Recent downloads (6 months)
1 ( #416,715 of 2,507,888 )
How can I increase my downloads?
Downloads