Metric propositional neighborhood logic with an equivalence relation

Angelo Montanari, Marco Pazzaglia, Pietro Sala. Metric propositional neighborhood logic with an equivalence relation. Acta Informatica, 53(6-8):621-648, 2016. [doi]

Abstract

Abstract is missing.