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

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

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