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]

Authors

Paulo A. S. Veloso

This author has not been identified. Look up 'Paulo A. S. Veloso' in Google

Sheila R. M. Veloso

This author has not been identified. Look up 'Sheila R. M. Veloso' in Google

Mario R. F. Benevides

This author has not been identified. Look up 'Mario R. F. Benevides' in Google