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

• Veröffentlicht in: Искусственный интеллект
• Datum: 2013
• ISSN: 1561-5359
• 1. Verfasser: Шкільняк, О.С.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: Інститут проблем штучного інтелекту МОН України та НАН України 2013
• Schlagworte: Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/85211
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Секвенційні числення темпоральних і мультимодальних логік часткових предикатів / О.С. Шкільняк // Искусственный интеллект. — 2013. — № 1. — С. 55–66. — Бібліогр.: 7 назв. — укр.

У статті досліджено транзиційні композиційно-номінативні модальні логіки. Для таких логік розглянуто
 властивості відношення логічного наслідку для множин специфікованих станами формул. Побудовано
 секвенційні числення чистих першопорядкових темпоральних і мультимодальних логік еквітонних
 предикатів. Для цих числень доведено теореми коректності й повноти. В статье исследованы транзиционные композиционно-номинативные модальные логики. Для таких логик
 рассмотрены свойства отношения логического следствия для множеств специфицированных состояниями
 формул. Построены секвенциальные исчисления чистых первопорядковых темпоральных и мультимодальных логик эквитонных предикатов. Для этих исчислений доказаны теоремы корректности и полноты. 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.