Hans P. van Ditmarsch, David Fernández Duque, Wiebe van der Hoek. On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. In João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre, editors, Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Volume 6814 of Lecture Notes in Computer Science, pages 74-87, Springer, 2011. [doi]
Abstract is missing.