Logic For Opacity