Dynamic graded epistemic logic

Review of Symbolic Logic 12 (4):663-684 (2019)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 83,878

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
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.
Erotetic Epistemic Logic.Michal Peliš - 2017 - Logic and Logical Philosophy 26 (3):357-381.


Added to PP

28 (#445,152)

6 months
3 (#244,541)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Minghui Ma
Sun Yat-Sen University

Citations of this work

Add more citations

References found in this work

Two modellings for theory change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.
Recent work in epistemic logic.Wolfgang Lenzen - 1978 - Acta Philosophica Fennica 30:1-219.

View all 20 references / Add more references