15 citations · 23 across the 5 of their papers we have counts for
1 paper · 1 filter
Eric Campbell, Michael Greenberg
Temporal logics over finite traces are not the same as temporal logics over potentially infinite traces. Roşu first proved completeness for linear temporal logic on finite traces (…