Joseph Y Halpern, Samet, Dov , and Segev, Ella . 2009. ?On Definability In Multimodal Logic?. The Review Of Symbolic Logic, 2, Pp. 451?468.