An infinite hierarchy of temporal logics over branching time
scientific article; zbMATH DE number 1853225
scientific article