TY - RPRT TI - A dynamic epistemic logic analysis of the equality negation task AU - Eric Goubault AU - Marijana Lazic AU - Jeremy Ledent AU - Sergio Rajsbaum PY - 2019 UR - https://arxiv.org/abs/1909.03263 ID - 1909.03263 ER -