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