Università di Torino
. Baldoni, L. Giordano, and A. Martelli.
A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results
. In H. de Swart, editor,
Proc. of the International Conference on Analytic Tableaux Related Methods, TABLEAUX'98
, volume 1397 of
, pages 44-59. Springer-Verlag, 1998. (
If you are interested in papers which are not available, please, contact directly the author(s).