Композиційно-номінативні модальні логіки функціонально-екваційного рівня
Пропонуються композиційно-номінативні модальні та темпоральні логіки функціонально-екваційного рівня. Для цих логік
 визначаються транзиційні та темпоральні модальні системи, досліджуються їх семантичні властивості. Composition nominative modal and temporal logics of functional-equational le...
Gespeichert in:
| Datum: | 2010 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2010
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/14583 |
| 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: | Композиційно-номінативні модальні логіки функціонально-екваційного рівня / О.С. Шкільняк // Пробл. програмув. — 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 |