We study a modal system $\overline{T}$, that extends the classical modal system T and whose language is provided with modal operators $M_{n}$ to be interpreted, in the usual kripkean semantics, as "there are more than n accessible worlds such that...". We find reasonable axioms for $\overline{T}$ and we prove for it completeness, compactness and decidability theorems.