Angelo Montanari, Marco Pazzaglia, Pietro Sala. Metric Propositional Neighborhood Logic with an Equivalence Relation. In Amedeo Cesta, Carlo Combi, François Laroussinie, editors, 21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014. pages 49-58, IEEE, 2014. [doi]
Abstract is missing.