Intensionality, reflection, and large cardinals

We study the deductive capabilities of axiomatic systems in the language of sets and classes with the reflection principle extended to all formulas without class quantifiers. A characteristic feature of these systems consists in the fact that not all sets are classes. We suggest a method for constructing models for these systems and establish a connection with large cardinals.