Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche. An Epistemic Separation Logic. In Valeria de Paiva, Ruy J. G. B. de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina Grisi de Oliveira, editors, Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings. Volume 9160 of Lecture Notes in Computer Science, pages 156-173, Springer, 2015. [doi]
Abstract is missing.