 Instant-based temporal logics for metric time are studied in e.g. Rescher and Urquhart (1971, Chapter X); Montanari (1996); and Montanari and Policriti (1996). For metric interval logics, see Bresolin et al. (2013).