Abstract:
На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних
систем вивчаються композиційно-номінативні модальні та темпоральні логіки. Пропонується
спеціальне уточнення поняття композиційно-номінативної модальної системи для логік
реномінативного та кванторного рівнів. Досліджуються семантичні властивості транзиційних
та темпоральних композиційно-номінативних модальних логік. Для таких логік будуються числення
секвенційного типу.