Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні числення

Simple item page
dc.contributor.authorШкільняк, Оксана
dc.date.accessioned2015-08-12T08:33:58Z
dc.date.available2015-08-12T08:33:58Z
dc.date.issued2008
dc.description.abstractНа основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем вивчаються композиційно-номінативні модальні та темпоральні логіки. Пропонується спеціальне уточнення поняття композиційно-номінативної модальної системи для логік реномінативного та кванторного рівнів. Досліджуються семантичні властивості транзиційних та темпоральних композиційно-номінативних модальних логік. Для таких логік будуються числення секвенційного типу.uk
dc.identifier.citationШкільняк О. С. Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні числення / Шкільняк О.С. // Наукові записки НаУКМА. - 2008. - Т. 86 : Комп'ютерні науки. - С. 25-34.uk
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/6011
dc.language.isoukuk
dc.statuspublished earlieruk
dc.subjectкомпозиційно-номінативна модальна системаuk
dc.subjectтранзиційна модальна логікаuk
dc.subjectматематична логікаuk
dc.subjectТемпоральна композиційно-номінативна модальна логікаuk
dc.titleКомпозиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні численняuk
dc.typeArticleuk
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Shkil'nyak_Kompozytsiyno_nominatyvni_modal'ni_ta_temporal'ni_lohiky.PDF
Size:
2.31 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
7.54 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
086: Комп'ютерні науки