13 citations · 65 across the 15 of their papers we have counts for
1 paper · 2 filters
Dario Della Monica, Angelo Montanari, Gabriele Puppis +1
In this paper, we study the finite satisfiability problem for the logic BE under the homogeneity assumption. BE is the cornerstone of Halpern and Shoham's interval temporal logic,…