Композиційно-номінативні модальні логіки функціонально-екваційного рівня
Пропонуються композиційно-номінативні модальні та темпоральні логіки функціонально-екваційного рівня. Для цих логік
 визначаються транзиційні та темпоральні модальні системи, досліджуються їх семантичні властивості. Composition nominative modal and temporal logics of functional-equational le...
Saved in:
| Date: | 2010 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/14583 |
| 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: | Композиційно-номінативні модальні логіки функціонально-екваційного рівня / О.С. Шкільняк // Пробл. програмув. — 2010. — № 2-3. — С. 42-47. — Бібліогр.: 6 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862575203368828928 |
|---|---|
| author | Шкільняк, О.С. |
| author_facet | Шкільняк, О.С. |
| citation_txt | Композиційно-номінативні модальні логіки функціонально-екваційного рівня / О.С. Шкільняк // Пробл. програмув. — 2010. — № 2-3. — С. 42-47. — Бібліогр.: 6 назв. — укр. |
| collection | DSpace DC |
| description | Пропонуються композиційно-номінативні модальні та темпоральні логіки функціонально-екваційного рівня. Для цих логік
визначаються транзиційні та темпоральні модальні системи, досліджуються їх семантичні властивості.
Composition nominative modal and temporal logics of functional-equational level are introduced in this paper. Transition and temporal
modal systems are specified for such logics, and their semantic properties are investigated.
|
| first_indexed | 2025-11-26T13:21:22Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-14583 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-11-26T13:21:22Z |
| publishDate | 2010 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Шкільняк, О.С. 2010-12-27T08:57:48Z 2010-12-27T08:57:48Z 2010 Композиційно-номінативні модальні логіки функціонально-екваційного рівня / О.С. Шкільняк // Пробл. програмув. — 2010. — № 2-3. — С. 42-47. — Бібліогр.: 6 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/14583 681.3.06 Пропонуються композиційно-номінативні модальні та темпоральні логіки функціонально-екваційного рівня. Для цих логік
 визначаються транзиційні та темпоральні модальні системи, досліджуються їх семантичні властивості. Composition nominative modal and temporal logics of functional-equational level are introduced in this paper. Transition and temporal
 modal systems are specified for such logics, and their semantic properties are investigated. uk Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Композиційно-номінативні модальні логіки функціонально-екваційного рівня Composition nominative modal logics of functional-equational level Article published earlier |
| spellingShingle | Композиційно-номінативні модальні логіки функціонально-екваційного рівня Шкільняк, О.С. Теоретичні та методологічні основи програмування |
| title | Композиційно-номінативні модальні логіки функціонально-екваційного рівня |
| title_alt | Composition nominative modal logics of functional-equational level |
| title_full | Композиційно-номінативні модальні логіки функціонально-екваційного рівня |
| title_fullStr | Композиційно-номінативні модальні логіки функціонально-екваційного рівня |
| title_full_unstemmed | Композиційно-номінативні модальні логіки функціонально-екваційного рівня |
| title_short | Композиційно-номінативні модальні логіки функціонально-екваційного рівня |
| title_sort | композиційно-номінативні модальні логіки функціонально-екваційного рівня |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/14583 |
| work_keys_str_mv | AT škílʹnâkos kompozicíinonomínativnímodalʹnílogíkifunkcíonalʹnoekvacíinogorívnâ AT škílʹnâkos compositionnominativemodallogicsoffunctionalequationallevel |