Graph Granularity through Bi-intuitionistic Modal Logic