A Tableau for Multimodal Logics and Some (Un)Decidability Results.

Matteo Baldoni, Laura Giordano, Alberto Martelli

Browse the full TABLEAUX paper archive.