Changing agents and ascribing beliefs in dynamic epistemic logic

Shikha Singh, Kamal Lodaya, Deepak Khemani

In dynamic epistemic logic (Van Ditmarsch, Van Der Hoek, & Kooi, 2008) it is customary to use an action frame (Baltag & Moss, 2004; Baltag, Moss, & Solecki, 1998) to describe diffe…