 Here we discuss both instant-based and interval-based temporal logics. For further discussion on the ontological primacy of instants versus intervals in temporal logics, see Hamblin (1972); Kamp (1979); Humberstone (1979); Galton (1996); as well as van Benthem (1983) for a detailed comparative exploration of both approaches. A more philosophical and historical overview is provided in e.g. Øhrstrøm and Hasle (1995; 2006); Dyke and Bardon (2013); and Meyer (2013).