On Graph Calculi for Multi-modal Logics

Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides. On Graph Calculi for Multi-modal Logics. Electronic Notes in Theoretical Computer Science, 312:231-252, 2015. [doi]

Abstract

Abstract is missing.