A Logic for Analyzing Abstractions of Graph Transformation Systems