No Future without (a hint of) Past: A Finite Basis for 'Almost Future' Temporal Logic

Dorit Pardo, Alexander Moshe Rabinovich. No Future without (a hint of) Past: A Finite Basis for 'Almost Future' Temporal Logic. Inf. Comput., 247:203-216, 2016. [doi]

Abstract

Abstract is missing.