Досліджено програмно-орієнтовні логічні формалізми модального типу - транзиційні композиційно-номінативні модальні логіки. В межах цих логік можна виділити мультимодальні, темпоральні, епістемічні композиційно-номінативні логіки еквітонних предикатів. Для таких логік побудовано першопорядкові числення секвенційного типу.
We study program-oriented logical formalisms of modal type - transitional composition-nominative modal logics. We introduce cases of these logics: multimodal, temporal and epistemic composition-nominative logics ofequitone predicates. For the proposed logicsfirst-order sequent calculi are constructed.