Секвенційні числення темпоральних і мультимодальних логік часткових предикатів
У статті досліджено транзиційні композиційно-номінативні модальні логіки. Для таких логік розглянуто
 властивості відношення логічного наслідку для множин специфікованих станами формул. Побудовано
 секвенційні числення чистих першопорядкових темпоральних і мультимодальних логік еквіт...
Saved in:
| Published in: | Искусственный интеллект |
|---|---|
| Date: | 2013 |
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/85211 |
| 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: | Секвенційні числення темпоральних і мультимодальних логік часткових предикатів / О.С. Шкільняк // Искусственный интеллект. — 2013. — № 1. — С. 55–66. — Бібліогр.: 7 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862749963980636160 |
|---|---|
| author | Шкільняк, О.С. |
| author_facet | Шкільняк, О.С. |
| citation_txt | Секвенційні числення темпоральних і мультимодальних логік часткових предикатів / О.С. Шкільняк // Искусственный интеллект. — 2013. — № 1. — С. 55–66. — Бібліогр.: 7 назв. — укр. |
| collection | DSpace DC |
| container_title | Искусственный интеллект |
| description | У статті досліджено транзиційні композиційно-номінативні модальні логіки. Для таких логік розглянуто
властивості відношення логічного наслідку для множин специфікованих станами формул. Побудовано
секвенційні числення чистих першопорядкових темпоральних і мультимодальних логік еквітонних
предикатів. Для цих числень доведено теореми коректності й повноти.
В статье исследованы транзиционные композиционно-номинативные модальные логики. Для таких логик
рассмотрены свойства отношения логического следствия для множеств специфицированных состояниями
формул. Построены секвенциальные исчисления чистых первопорядковых темпоральных и мультимодальных логик эквитонных предикатов. Для этих исчислений доказаны теоремы корректности и полноты.
We study transitional composition-nominative modal logics. The properties of logical consequence relation
for sets of state-specified formulas for these logics are investigated. Sequent calculi are constructed for pure
first-order temporal and multimodal logics of equitone predicates. For the defined calculi the soundness and
completeness theorems are proved.
|
| first_indexed | 2025-12-07T21:03:04Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-85211 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Ukrainian |
| last_indexed | 2025-12-07T21:03:04Z |
| publishDate | 2013 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Шкільняк, О.С. 2015-07-21T19:08:30Z 2015-07-21T19:08:30Z 2013 Секвенційні числення темпоральних і мультимодальних логік часткових предикатів / О.С. Шкільняк // Искусственный интеллект. — 2013. — № 1. — С. 55–66. — Бібліогр.: 7 назв. — укр. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/85211 004.42:510.69 У статті досліджено транзиційні композиційно-номінативні модальні логіки. Для таких логік розглянуто
 властивості відношення логічного наслідку для множин специфікованих станами формул. Побудовано
 секвенційні числення чистих першопорядкових темпоральних і мультимодальних логік еквітонних
 предикатів. Для цих числень доведено теореми коректності й повноти. В статье исследованы транзиционные композиционно-номинативные модальные логики. Для таких логик
 рассмотрены свойства отношения логического следствия для множеств специфицированных состояниями
 формул. Построены секвенциальные исчисления чистых первопорядковых темпоральных и мультимодальных логик эквитонных предикатов. Для этих исчислений доказаны теоремы корректности и полноты. We study transitional composition-nominative modal logics. The properties of logical consequence relation
 for sets of state-specified formulas for these logics are investigated. Sequent calculi are constructed for pure
 first-order temporal and multimodal logics of equitone predicates. For the defined calculi the soundness and
 completeness theorems are proved. uk Інститут проблем штучного інтелекту МОН України та НАН України Искусственный интеллект Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем Секвенційні числення темпоральних і мультимодальних логік часткових предикатів Секвенциальные исчисления темпоральных и мультимодальных логик частичных предикатов Sequent calculi for temporal and multimodal logics of partial predicates Article published earlier |
| spellingShingle | Секвенційні числення темпоральних і мультимодальних логік часткових предикатів Шкільняк, О.С. Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем |
| title | Секвенційні числення темпоральних і мультимодальних логік часткових предикатів |
| title_alt | Секвенциальные исчисления темпоральных и мультимодальных логик частичных предикатов Sequent calculi for temporal and multimodal logics of partial predicates |
| title_full | Секвенційні числення темпоральних і мультимодальних логік часткових предикатів |
| title_fullStr | Секвенційні числення темпоральних і мультимодальних логік часткових предикатів |
| title_full_unstemmed | Секвенційні числення темпоральних і мультимодальних логік часткових предикатів |
| title_short | Секвенційні числення темпоральних і мультимодальних логік часткових предикатів |
| title_sort | секвенційні числення темпоральних і мультимодальних логік часткових предикатів |
| topic | Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем |
| topic_facet | Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/85211 |
| work_keys_str_mv | AT škílʹnâkos sekvencíiníčislennâtemporalʹnihímulʹtimodalʹnihlogíkčastkovihpredikatív AT škílʹnâkos sekvencialʹnyeisčisleniâtemporalʹnyhimulʹtimodalʹnyhlogikčastičnyhpredikatov AT škílʹnâkos sequentcalculifortemporalandmultimodallogicsofpartialpredicates |