Temporal logic with accessibility temporal relations generated by time states themselves
scientific article; zbMATH DE number 7223675
scientific article