Шкільняк, Оксана2015-08-122015-08-122008Шкільняк О. С. Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні числення / Шкільняк О.С. // Наукові записки НаУКМА. - 2008. - Т. 86 : Комп'ютерні науки. - С. 25-34.https://ekmair.ukma.edu.ua/handle/123456789/6011На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем вивчаються композиційно-номінативні модальні та темпоральні логіки. Пропонується спеціальне уточнення поняття композиційно-номінативної модальної системи для логік реномінативного та кванторного рівнів. Досліджуються семантичні властивості транзиційних та темпоральних композиційно-номінативних модальних логік. Для таких логік будуються числення секвенційного типу.ukкомпозиційно-номінативна модальна систематранзиційна модальна логікаматематична логікаТемпоральна композиційно-номінативна модальна логікаArticle