Metric propositional neighborhood logic with an equivalence relation