Секвенційні числення темпоральних і мультимодальних логік часткових предикатів

• Published in: Искусственный интеллект
• Date: 2013
• Main Author: Шкільняк, О.С.
• Format: Article
• Language: Ukrainian
• Published: Інститут проблем штучного інтелекту МОН України та НАН України 2013
• Subjects: Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/85211
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Секвенційні числення темпоральних і мультимодальних логік часткових предикатів / О.С. Шкільняк // Искусственный интеллект. — 2013. — № 1. — С. 55–66. — Бібліогр.: 7 назв. — укр.

У статті досліджено транзиційні композиційно-номінативні модальні логіки. Для таких логік розглянуто
 властивості відношення логічного наслідку для множин специфікованих станами формул. Побудовано
 секвенційні числення чистих першопорядкових темпоральних і мультимодальних логік еквіт...