In this paper, we show that a particular thin red line semantics introduced by Brauner, Ohrstrom, and Hasle makes the so-called Burgess' formula invalid, and we discuss some reasons why the failure can be considered a problem for the semantics.
Ciuni, R., Proietti, C. (2019). TRL Semantics and Burgess’ Formula. In Logic and Philosophy of Time: Themes from Prior. (pp. 163-181). Aalborg : Aalborg University Press.