On Graph Calculi for Multi-modal Logics

We introduce a method, based on graphical representation, for formulating sound and complete calculi for multi-modal logics. This approach provides uniform tools for expressing and manipulating modal formulas. We illustrate the method by constructing, in a natural manner, correct graph calculi for some multi-modal logics, which may include the global and difference modalities, and may have some special properties.