Labelled tableaux for multi-modal logics Conference Paper uri icon