Секвенційні числення темпоральних і мультимодальних логік часткових предикатів
| dc.contributor.author | Шкільняк, О.С. | |
| dc.date.accessioned | 2015-07-21T19:08:30Z | |
| dc.date.available | 2015-07-21T19:08:30Z | |
| dc.date.issued | 2013 | |
| dc.description.abstract | У статті досліджено транзиційні композиційно-номінативні модальні логіки. Для таких логік розглянуто властивості відношення логічного наслідку для множин специфікованих станами формул. Побудовано секвенційні числення чистих першопорядкових темпоральних і мультимодальних логік еквітонних предикатів. Для цих числень доведено теореми коректності й повноти. | uk_UA |
| dc.description.abstract | В статье исследованы транзиционные композиционно-номинативные модальные логики. Для таких логик рассмотрены свойства отношения логического следствия для множеств специфицированных состояниями формул. Построены секвенциальные исчисления чистых первопорядковых темпоральных и мультимодальных логик эквитонных предикатов. Для этих исчислений доказаны теоремы корректности и полноты. | uk_UA |
| dc.description.abstract | 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_UA |
| dc.identifier.citation | Секвенційні числення темпоральних і мультимодальних логік часткових предикатів / О.С. Шкільняк // Искусственный интеллект. — 2013. — № 1. — С. 55–66. — Бібліогр.: 7 назв. — укр. | uk_UA |
| dc.identifier.issn | 1561-5359 | |
| dc.identifier.udc | 004.42:510.69 | |
| dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/85211 | |
| dc.language.iso | uk | uk_UA |
| dc.publisher | Інститут проблем штучного інтелекту МОН України та НАН України | uk_UA |
| dc.relation.ispartof | Искусственный интеллект | |
| dc.status | published earlier | uk_UA |
| dc.subject | Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем | uk_UA |
| dc.title | Секвенційні числення темпоральних і мультимодальних логік часткових предикатів | uk_UA |
| dc.title.alternative | Секвенциальные исчисления темпоральных и мультимодальных логик частичных предикатов | uk_UA |
| dc.title.alternative | Sequent calculi for temporal and multimodal logics of partial predicates | uk_UA |
| dc.type | Article | uk_UA |
Файли
Оригінальний контейнер
1 - 1 з 1
Завантаження...
- Назва:
- 10-Shkilniak.pdf
- Розмір:
- 809.37 KB
- Формат:
- Adobe Portable Document Format
- Опис:
- Стаття
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 817 B
- Формат:
- Item-specific license agreed upon to submission
- Опис: