Dynamic Graded Epistemic Logic

Minghui Ma (1) , Hans van Ditmarsch (2)

1 SYSU - Sun Yat-sen University [Guangzhou]
2 CELLO - Computational Epistemic Logic in LOrraine

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.

Domaines: Informatique [cs]

Minghui Ma, Hans van Ditmarsch. Dynamic Graded Epistemic Logic. The review of symbolic logic, 2019, 12 (4), pp.663-684. ⟨10.1017/S1755020319000285⟩. ⟨hal-03014144⟩