Секвенційні числення темпоральних і мультимодальних логік часткових предикатів
У статті досліджено транзиційні композиційно-номінативні модальні логіки. Для таких логік розглянуто властивості відношення логічного наслідку для множин специфікованих станами формул. Побудовано секвенційні числення чистих першопорядкових темпоральних і мультимодальних логік еквітонних предикаті...
Saved in:
| Date: | 2013 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2013
|
| Series: | Искусственный интеллект |
| Subjects: | |
| 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| Summary: | У статті досліджено транзиційні композиційно-номінативні модальні логіки. Для таких логік розглянуто
властивості відношення логічного наслідку для множин специфікованих станами формул. Побудовано
секвенційні числення чистих першопорядкових темпоральних і мультимодальних логік еквітонних
предикатів. Для цих числень доведено теореми коректності й повноти. |
|---|