B. Aminof, A. Murano, S. Rubin:
"CTL* with graded path modalities";
Information and Computation, 262 (2018), Part 1; 1 - 21.
http://dx.doi.org/10.1016/j.ic.2018.05.001Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_277637.pdf