Matteo Baldoni, Laura Giordano, Alberto Martelli. A Tableau for Multimodal Logics and Some (Un)Decidability Results. In Harrie C. M. de Swart, editor, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings. Volume 1397 of Lecture Notes in Computer Science, pages 44-59, Springer, 1998. [doi]
Abstract is missing.