A hierarchy of temporal logics with past
scientific article; zbMATH DE number 984929
scientific article