Adding two equivalence relations to the interval temporal logic AB. - Angelo Montanari; Marco Pazzaglia; Pietro Sala (ICTCS, 2014)

Metric propositional neighborhood logic with an equivalence relation. - Angelo Montanari; Marco Pazzaglia; Pietro Sala (Acta Informatica, 2016)

Adding one or more equivalence relations to the interval temporal logic. - Angelo Montanari; Marco Pazzaglia; Pietro Sala (Theor. Comput. Sci., 2016)