 For further references on temporal logics, see the overviews in Venema (2001) and Müller (2011), as well as the detailed bibliographies in Rescher and Urquhart (1971); Øhrstrøm and Hasle (1995); Gabbay et al. (1994); Fisher et al. (2005); Baier and Katoen (2008); and Demri et al. (2016).