Побудовано секвенційні числення для нових класів програмно-орієнтованих логічних формалізмів – чистих першопорядкових транзиційних композиційно-номінативних модальних логік еквітонних предикатів. Для цих числень доведено теореми коректності та повноти
We constructed sequent calculi for new classes of program-oriented logical formalisms – pure first-order transitional composition-nominative modal logics of equitone predicates. For the defined calculi the soundness and completeness theorems are proved.