27 citations · 47 across the 5 of their papers we have counts for
1 paper · 1 filter
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco +3
We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal logic depending on the type (box or diamond) of the interval modal operators, t…