Семантичні властивості композиційно-номінативних модальних логік

• Date: 2009
• Main Author: Шкільняк, О.С.
• Format: Article
• Language: Ukrainian
• Published: Інститут програмних систем НАН України 2009
• Subjects: Теоретичні та методологічні основи програмування
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/6516
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Семантичні властивості композиційно-номінативних модальних логік / О.С. Шкільняк // Пробл. програмув. — 2009. — № 4. — С. 11-23. — Бібліогр.: 8 назв. — укр.

На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем вивчаються композиційно-номінативні модальні та темпоральні логіки реномінативного, кванторного, кванторно-екваційного рівнів. Для цих логік уточнюється поняття композиційно-номінативної модальної системи, досліджуються їх семантичні властивості. На основе интегрированного интенсионально-экстенсионального подхода к построению логических и программных систем изучаются композиционно-номинативные модальные и темпоральные логики реноминативного, кванторного, кванторно-эквационного уровней. Для этих логик уточняется понятие композицион-нономинативной модальной системы, исследуются их семантические свойства. In this paper composition nominative modal and temporal logics of nominative, quantifier and quantifier-equational levels are studied on the basis of the integrated intentional-extensional approach to construction of systems of logic and software. For such logics, a special refinement of the notion of composition nominative modal system is introduced, and semantic properties are investigated.