Секвенційні числення темпоральних і мультимодальних логік часткових предикатів
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Секвенційні числення темпоральних і мультимодальних логік часткових предикатів
|
|
| Creator |
Шкільняк, О.С.
|
|
| Subject |
Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем
|
|
| 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. |
|
| Date |
2015-07-21T19:08:30Z
2015-07-21T19:08:30Z 2013 |
|
| Type |
Article
|
|
| Identifier |
Секвенційні числення темпоральних і мультимодальних логік часткових предикатів / О.С. Шкільняк // Искусственный интеллект. — 2013. — № 1. — С. 55–66. — Бібліогр.: 7 назв. — укр.
1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/85211 004.42:510.69 |
|
| Language |
uk
|
|
| Relation |
Искусственный интеллект
|
|
| Publisher |
Інститут проблем штучного інтелекту МОН України та НАН України
|
|