41 citations · 104 across the 19 of their papers we have counts for
1 paper · 2 filters
Stephane Demri, Alexander Rabinovich
We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theorem. We…