Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні числення
Loading...
Date
2008
Authors
Шкільняк, Оксана
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних
систем вивчаються композиційно-номінативні модальні та темпоральні логіки. Пропонується
спеціальне уточнення поняття композиційно-номінативної модальної системи для логік
реномінативного та кванторного рівнів. Досліджуються семантичні властивості транзиційних
та темпоральних композиційно-номінативних модальних логік. Для таких логік будуються числення
секвенційного типу.
Description
Keywords
композиційно-номінативна модальна система, транзиційна модальна логіка, математична логіка, Темпоральна композиційно-номінативна модальна логіка
Citation
Шкільняк О. С. Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні числення / Шкільняк О.С. // Наукові записки НаУКМА. - 2008. - Т. 86 : Комп'ютерні науки. - С. 25-34.