Branching-time logics repeatedly referring to states
scientific article; zbMATH DE number 5653955
scientific article