5 citations · 5 across the 1 of their papers we have counts for
1 paper
Angelo Montanari, Pietro Sala
We introduce the synthesis problem for Halpern and Shoham's modal logic of intervals extended with an equivalence relation over time points, abbreviated HSeq. In analogy to the cas…