Marco Pazzaglia

Metric Propositional Neighborhood Logic with an Equivalence Relation

Angelo Montanari, Marco Pazzaglia, Pietro Sala, 2014, TIME.

Metric propositional neighborhood logic with an equivalence relation

Angelo Montanari, Marco Pazzaglia, Pietro Sala, 2014, 2014 21st International Symposium on Temporal Representation and Reasoning.

Adding two equivalence relations to the interval temporal logic AB

Angelo Montanari, Marco Pazzaglia, Pietro Sala, 2014, ICTCS.

Adding one or more equivalence relations to the interval temporal logic

Angelo Montanari, Marco Pazzaglia, Pietro Sala, 2016, Theor. Comput. Sci..