On Gabbay's temporal fixed point operator
scientific article; zbMATH DE number 985856
scientific article