 Instant-based and interval-based models of time are two different kinds of temporal ontologies and, even though they are technically reducible to each other, this does not solve the main semantic issue arising when developing a logical formalism to capture temporal reasoning: should propositions about time, and therefore formulae in the given logical language, be interpreted as referring to time instants or to intervals?