Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні числення
eKMAIR
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні числення
|
|
Creator |
Шкільняк, Оксана
|
|
Subject |
композиційно-номінативна модальна система
транзиційна модальна логіка математична логіка Темпоральна композиційно-номінативна модальна логіка |
|
Description |
На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем вивчаються композиційно-номінативні модальні та темпоральні логіки. Пропонується спеціальне уточнення поняття композиційно-номінативної модальної системи для логік реномінативного та кванторного рівнів. Досліджуються семантичні властивості транзиційних та темпоральних композиційно-номінативних модальних логік. Для таких логік будуються числення секвенційного типу. |
|
Date |
2015-08-12T08:33:58Z
2015-08-12T08:33:58Z 2008 |
|
Type |
Article
|
|
Identifier |
Шкільняк О. С. Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні числення / Шкільняк О.С. // Наукові записки НаУКМА. - 2008. - Т. 86 : Комп'ютерні науки. - С. 25-34.
http://ekmair.ukma.edu.ua/handle/123456789/6011 |
|
Language |
ua
|
|