Metric Propositional Neighborhood Logic with an Equivalence Relation

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]

@inproceedings{MontanariPS14-1,
  title = {Metric Propositional Neighborhood Logic with an Equivalence Relation},
  author = {Angelo Montanari and Marco Pazzaglia and Pietro Sala},
  year = {2014},
  doi = {10.1109/TIME.2014.26},
  url = {http://dx.doi.org/10.1109/TIME.2014.26},
  researchr = {https://researchr.org/publication/MontanariPS14-1},
  cites = {0},
  citedby = {0},
  pages = {49-58},
  booktitle = {21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014},
  editor = {Amedeo Cesta and Carlo Combi and François Laroussinie},
  publisher = {IEEE},
  isbn = {978-1-4799-4228-2},
}