Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic

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 (…