Towards a Logic of Relative Identity