A b s t r a c t. In this paper we find upper estimations of cardinalities of models of monadic predicate logic. We also present, by a method of semantical nature, a certain description of the expressive power of this logic.