Секвенційні числення темпоральних і мультимодальних логік часткових предикатів
У статті досліджено транзиційні композиційно-номінативні модальні логіки. Для таких логік розглянуто властивості відношення логічного наслідку для множин специфікованих станами формул. Побудовано секвенційні числення чистих першопорядкових темпоральних і мультимодальних логік еквітонних предикаті...
Gespeichert in:
| Veröffentlicht in: | Искусственный интеллект |
|---|---|
| Datum: | 2013 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут проблем штучного інтелекту МОН України та НАН України
2013
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/85211 |
| 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: | Секвенційні числення темпоральних і мультимодальних логік часткових предикатів / О.С. Шкільняк // Искусственный интеллект. — 2013. — № 1. — С. 55–66. — Бібліогр.: 7 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-85211 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Секвенційні числення темпоральних і мультимодальних логік часткових предикатів |
| spellingShingle |
Секвенційні числення темпоральних і мультимодальних логік часткових предикатів Шкільняк, О.С. Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем |
| title_short |
Секвенційні числення темпоральних і мультимодальних логік часткових предикатів |
| title_full |
Секвенційні числення темпоральних і мультимодальних логік часткових предикатів |
| title_fullStr |
Секвенційні числення темпоральних і мультимодальних логік часткових предикатів |
| title_full_unstemmed |
Секвенційні числення темпоральних і мультимодальних логік часткових предикатів |
| title_sort |
секвенційні числення темпоральних і мультимодальних логік часткових предикатів |
| author |
Шкільняк, О.С. |
| author_facet |
Шкільняк, О.С. |
| topic |
Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем |
| topic_facet |
Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем |
| publishDate |
2013 |
| language |
Ukrainian |
| container_title |
Искусственный интеллект |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| format |
Article |
| title_alt |
Секвенциальные исчисления темпоральных и мультимодальных логик частичных предикатов Sequent calculi for temporal and multimodal logics of partial predicates |
| 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.
|
| issn |
1561-5359 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/85211 |
| citation_txt |
Секвенційні числення темпоральних і мультимодальних логік часткових предикатів / О.С. Шкільняк // Искусственный интеллект. — 2013. — № 1. — С. 55–66. — Бібліогр.: 7 назв. — укр. |
| 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 |
| first_indexed |
2025-12-07T21:03:04Z |
| last_indexed |
2025-12-07T21:03:04Z |
| _version_ |
1850884892013887488 |