Композиційно-номінативні модальні логіки функціонально-екваційного рівня

Пропонуються композиційно-номінативні модальні та темпоральні логіки функціонально-екваційного рівня. Для цих логік
 визначаються транзиційні та темпоральні модальні системи, досліджуються їх семантичні властивості. Composition nominative modal and temporal logics of functional-equational le...

Full description

Saved in:
Bibliographic Details
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