"A Dynamic Epistemic Logic Analysis of the Equality Negation Task."

Éric Goubault et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics