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

Шкільняк, Оксана

dc.contributor.author	Шкільняк, Оксана
dc.date.accessioned	2015-08-12T08:33:58Z
dc.date.available	2015-08-12T08:33:58Z
dc.date.issued	2008
dc.identifier.citation	Шкільняк О. С. Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні числення / Шкільняк О.С. // Наукові записки НаУКМА. - 2008. - Т. 86 : Комп'ютерні науки. - С. 25-34.	uk
dc.identifier.uri	http://ekmair.ukma.edu.ua/handle/123456789/6011
dc.description.abstract	На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем вивчаються композиційно-номінативні модальні та темпоральні логіки. Пропонується спеціальне уточнення поняття композиційно-номінативної модальної системи для логік реномінативного та кванторного рівнів. Досліджуються семантичні властивості транзиційних та темпоральних композиційно-номінативних модальних логік. Для таких логік будуються числення секвенційного типу.	uk
dc.language.iso	uk	uk
dc.subject	композиційно-номінативна модальна система	uk
dc.subject	транзиційна модальна логіка	uk
dc.subject	математична логіка	uk
dc.subject	Темпоральна композиційно-номінативна модальна логіка	uk
dc.title	Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні числення	uk
dc.type	Article	uk
dc.status	published earlier	uk