The common metric temporal logics for continuous time were shown to be insufficient, when it was proved in [7, 12] that they cannot express a modality suggested by Pnueli. Moreover no temporal logic with a finite set of modalities can express all the natural generalizations of this modality. The temporal logic with counting modalities ( ) is the extension of until-since temporal logic by "counting modalities" C n (X) and C n(n∈ℕ); for each n the modality C n (X) says that X will be true at least at n points in the next unit of time, and its dual says that X has happened n times in the last unit of time. In  it was proved that this temporal logic is expressively complete for a natural decidable metric predicate logic. In particular the Pnueli modalities , "there is an increasing sequence t 1,...,t k of points in the unit interval ahead such that X i holds at t i ", are definable in . In this paper we investigate the complexity of the satisfiability problem for and show that the problem is PSPACE complete when the index of C n is coded in unary, and EXPSPACE complete when the index is coded in binary. We also show that the satisfiability problem for the until-since temporal logic extended by Pnueli's modalities is PSPACE complete.