Досліджено нові класи спеціальних програмно-орієнтованих логічних формалізмів - транзиційні композиційно-номінативні модальні логіки. Описано семантичні моделі та мови цих логік. Для чистих першопорядкових темпоральних і мультимодальних транзиційних логік розглянуто властивості відношення логічного наслідку для множин специфікованих станами формул.
We investigate new classes of special program-oriented logical formalisms - transitional composition-nominative modal logics. Semantic models and languagesof these logics are defined. Properties of logical consequence relations for sets of state-specified formulas of pure first-order temporal and multimodal transitional logics are studied.
