Hans van Ditmarsch, Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum. A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. J. Log. Algebr. Meth. Program., 121:100662, 2021. [doi]
Abstract is missing.