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

dc.contributor.author	Шкільняк, О.С.
dc.date.accessioned	2015-07-14T12:06:21Z
dc.date.available	2015-07-14T12:06:21Z
dc.date.issued	2013
dc.identifier.citation	Семантичні моделі та секвенційні числення транзиційних модальних логік / О.С. Шкільняк // Компьютерная математика. — 2013. — № 1. — С. 141-150. — Бібліогр.: 6 назв. — укр.	uk_UA
dc.identifier.issn	ХХХХ-0003
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/84739
dc.description.abstract	Досліджено чисті першопорядкові транзиційні модальні логіки часткових предикатів. Описано семантичні моделі та мови таких логік Для пропонованих логік побудовано числення секвенційного типу. Для цих числень доведено теореми коректності й повноти.	uk_UA
dc.description.abstract	Исследованы чистые первопорядковые транзиционные модальные логики частичных предикатов. Описаны семантические модели и языки таких логик. Для предложенных логик построены исчисления секвенциального типа. Для этих исчислений доказаны теоремы корректности и полноты.	uk_UA
dc.description.abstract	Pure first-order transitional modal logics of partial predicates are studied. For the introduced logics, we describe semantic models and languages and we construct sequent calculi. The correctness and completeness theorems are proved for such calculi.	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	Semantic models and sequent calculi of transitional modal logics	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.42:510.69