Запропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові
логіки із квазіарними та n-арними предикатами. Такі формалізми є синтезом класичних першопорядкових логік і композиційно-номінативних логік квазіарних предикатів. Розглянуто семантичні моделі
та мови і досліджено семантичні властивості пропонованих логік. Встановлено зв’язок між n-арними та X-арними предикатами, описано нормальні форми. Досліджено відношення логічного наслідку,
наведено властивості цих відношень для арних атомарних формул.