На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем вивчаються композиційно-номінативні модальні та темпоральні логіки. Пропонується спеціальне уточнення поняття композиційно-номінативної модальної системи для логік реномінативного та кванторного рівнів. Досліджуються семантичні властивості транзиційних та темпоральних композиційно-номінативних модальних логік.
On the basis of integrated intensional-extensional approach to construction of logical and program systems composition nominative modal and temporal logics are studied. A special refinement of the notion of a composition nominative modal system for logics of renominative and quantifier levels is proposed. Semantic properties of compositionnominative transitional and temporal logics are investigated.
