Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi. On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic. In S. Barry Cooper, Anuj Dawar, Benedikt Löwe, editors, How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings. Volume 7318 of Lecture Notes in Computer Science, pages 323-333, Springer, 2012. [doi]
Abstract is missing.