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

dc.contributor.author	Шкільняк, О.С.
dc.date.accessioned	2015-07-21T19:08:30Z
dc.date.available	2015-07-21T19:08:30Z
dc.date.issued	2013
dc.identifier.citation	Секвенційні числення темпоральних і мультимодальних логік часткових предикатів / О.С. Шкільняк // Искусственный интеллект. — 2013. — № 1. — С. 55–66. — Бібліогр.: 7 назв. — укр.	uk_UA
dc.identifier.issn	1561-5359
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/85211
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.language.iso	uk	uk_UA
dc.publisher	Інститут проблем штучного інтелекту МОН України та НАН України	uk_UA
dc.relation.ispartof	Искусственный интеллект
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
dc.status	published earlier	uk_UA
dc.identifier.udc	004.42:510.69