Семантичні властивості композиційно-номінативних модальних логік
На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем вивчаються композиційно-номінативні модальні та темпоральні логіки реномінативного, кванторного, кванторно-екваційного рівнів. Для цих логік уточнюється поняття композиційно-номінативної модаль...
Saved in:
| Date: | 2009 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2009
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/6516 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Семантичні властивості композиційно-номінативних модальних логік / О.С. Шкільняк // Пробл. програмув. — 2009. — № 4. — С. 11-23. — Бібліогр.: 8 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862733242307706880 |
|---|---|
| author | Шкільняк, О.С. |
| author_facet | Шкільняк, О.С. |
| citation_txt | Семантичні властивості композиційно-номінативних модальних логік / О.С. Шкільняк // Пробл. програмув. — 2009. — № 4. — С. 11-23. — Бібліогр.: 8 назв. — укр. |
| collection | DSpace DC |
| description | На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем вивчаються композиційно-номінативні модальні та темпоральні логіки реномінативного, кванторного, кванторно-екваційного рівнів. Для цих логік уточнюється поняття композиційно-номінативної модальної системи, досліджуються їх семантичні властивості.
На основе интегрированного интенсионально-экстенсионального подхода к построению логических и программных систем изучаются композиционно-номинативные модальные и темпоральные логики реноминативного, кванторного, кванторно-эквационного уровней. Для этих логик уточняется понятие композицион-нономинативной модальной системы, исследуются их семантические свойства.
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.
|
| first_indexed | 2025-12-07T19:35:33Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-6516 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T19:35:33Z |
| publishDate | 2009 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Шкільняк, О.С. 2010-03-05T15:05:05Z 2010-03-05T15:05:05Z 2009 Семантичні властивості композиційно-номінативних модальних логік / О.С. Шкільняк // Пробл. програмув. — 2009. — № 4. — С. 11-23. — Бібліогр.: 8 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/6516 681.3.06 На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем вивчаються композиційно-номінативні модальні та темпоральні логіки реномінативного, кванторного, кванторно-екваційного рівнів. Для цих логік уточнюється поняття композиційно-номінативної модальної системи, досліджуються їх семантичні властивості. На основе интегрированного интенсионально-экстенсионального подхода к построению логических и программных систем изучаются композиционно-номинативные модальные и темпоральные логики реноминативного, кванторного, кванторно-эквационного уровней. Для этих логик уточняется понятие композицион-нономинативной модальной системы, исследуются их семантические свойства. 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 Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Семантичні властивості композиційно-номінативних модальних логік Семантические свойства композиционно-номинативных модальных логик Semantic properties of composition nomina-tive modal logics Article published earlier |
| spellingShingle | Семантичні властивості композиційно-номінативних модальних логік Шкільняк, О.С. Теоретичні та методологічні основи програмування |
| title | Семантичні властивості композиційно-номінативних модальних логік |
| title_alt | Семантические свойства композиционно-номинативных модальных логик Semantic properties of composition nomina-tive modal logics |
| title_full | Семантичні властивості композиційно-номінативних модальних логік |
| title_fullStr | Семантичні властивості композиційно-номінативних модальних логік |
| title_full_unstemmed | Семантичні властивості композиційно-номінативних модальних логік |
| title_short | Семантичні властивості композиційно-номінативних модальних логік |
| title_sort | семантичні властивості композиційно-номінативних модальних логік |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/6516 |
| work_keys_str_mv | AT škílʹnâkos semantičnívlastivostíkompozicíinonomínativnihmodalʹnihlogík AT škílʹnâkos semantičeskiesvoistvakompozicionnonominativnyhmodalʹnyhlogik AT škílʹnâkos semanticpropertiesofcompositionnominativemodallogics |