Семантичні властивості композиційно-номінативних модальних логік
На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем вивчаються композиційно-номінативні модальні та темпоральні логіки реномінативного, кванторного, кванторно-екваційного рівнів. Для цих логік уточнюється поняття композиційно-номінативної модаль...
Gespeichert in:
| Datum: | 2009 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2009
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/6516 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Семантичні властивості композиційно-номінативних модальних логік / О.С. Шкільняк // Пробл. програмув. — 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 |