Досліджені фінітарні логіки часткових предикативів над іменними множинами. Розглянута ієрархія таких логік. Для логік кванторного та функціонально-екваційного рівня побудовані секвенційні числення без обмежень різнокванторності, доведені теореми повноти.