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

dc.contributor.author	Шкільняк, О.С.
dc.date.accessioned	2010-03-05T15:05:05Z
dc.date.available	2010-03-05T15:05:05Z
dc.date.issued	2009
dc.identifier.citation	Семантичні властивості композиційно-номінативних модальних логік / О.С. Шкільняк // Пробл. програмув. — 2009. — № 4. — С. 11-23. — Бібліогр.: 8 назв. — укр.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/6516
dc.description.abstract	На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем вивчаються композиційно-номінативні модальні та темпоральні логіки реномінативного, кванторного, кванторно-екваційного рівнів. Для цих логік уточнюється поняття композиційно-номінативної модальної системи, досліджуються їх семантичні властивості.	uk_UA
dc.description.abstract	На основе интегрированного интенсионально-экстенсионального подхода к построению логических и программных систем изучаются композиционно-номинативные модальные и темпоральные логики реноминативного, кванторного, кванторно-эквационного уровней. Для этих логик уточняется понятие композицион-нономинативной модальной системы, исследуются их семантические свойства.	uk_UA
dc.description.abstract	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.	uk_UA
dc.language.iso	uk	uk_UA
dc.publisher	Інститут програмних систем НАН України	uk_UA
dc.subject	Теоретичні та методологічні основи програмування	uk_UA
dc.title	Семантичні властивості композиційно-номінативних модальних логік	uk_UA
dc.title.alternative	Семантические свойства композиционно-номинативных модальных логик	uk_UA
dc.title.alternative	Semantic properties of composition nomina-tive modal logics	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	681.3.06