Carlos Areces, Guillaume Hoffmann, Alexandre Denis. Modal Logics with Counting. In Anuj Dawar, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings. Volume 6188 of Lecture Notes in Computer Science, pages 98-109, Springer, 2010. [doi]
Abstract is missing.